Lobby server: Add a better way to set up version number, and bump the version.