Change version string to be more intuitive

Having 0.4.0+ for git master confuses users. So let's use a version string like
v0.5-pre (0.4.0+198 git-dee6c47*) instead, which still gives us all the information
and is less confusing.

Version is obtained from version.inc.