134 Version now based on git tags, number of checkins ahead and revision hash.
134 Write version into version.properties file. Read version number on server startup.
Merge branch 'feature/134-show-version-number-in-ui' into develop