Mono version is now pulled in to configure.in from MONO_VERSION
This makes it easier to grab&use the version elsewhere in the future (e.g. in packaging)
Merge branch 'master' of https://github.com/mono/mono