Print the version and revision at the very start of configure.py output
Print the version and revision at the very start of configure.py output

Makes it easier to debug things like #1763

webmaster128/botan,webmaster128/botan,randombit/botan,randombit/botan,randombit/botan,webmaster128/botan,webmaster128/botan,randombit/botan,randombit/botan,webmaster128/botan