Latest Serval DNA changes
Improve build.xml: check version strings

For Alpha, Beta and Release builds, the version string produced
by the version_string.sh script must have the proper form