Use build number as version and add shortVersionString.
Merge branch 'new' of https://github.com/GPGTools/GPGTools_Homepage into new