Update 38 (Timed matches, auto-managed listen servers) — Zero G Arena Steam update #105901

As the first step towards dedicated servers, I've added an optional auto-managed server option (There was a brief but exciting preview of what the menu checkbox for this would look like, in between update 37 and the subsequent hotfix that removed it). Anyway, the option is now implemented and will start matches and hold a vote for the next map without any input from the server host. I've also added an option for timed matches, which is the default for auto-managed servers. As usual, having spent the best part of the day waiting for the update to build for release, I've realized I may have forgotten to hide the server host's options for auto-managed servers. These probably won't do anything, which may cause some confusion, but it's probably not serious enough to warrant a hotfix like last time. Anyway, I won't be unduly surprised if there are issues with the auto management system, or the...