Use server.properties to determine server base version

    server.properties doesn't seem to be actively maintained by the GS
    team, so I've bumped the version to 8.5.