Version number of the server. By default it's a snapshot name with the
current date. But this could be changed to a real version number if we
ever did something unusual like made a proper release ;-)