configure.in: Generate version dynamically using version-gen.sh.