This addresses #2172. Included features are:

• times in the server browser
• times in the scoreboard (and map record at the top)
• separate race timer
• support for checkpoints
• finish message
• localized chat message for new records

The server can set a few config params:

• accuracy of the displayed times
• hide kill messages
• finish messages can be displayed like the kill messages or as localized chat messages (depending on how often a finish occurs, you may want to emphasize ...

Before: !image After: !image

dc7d595 Fix /usr/bin/env path - Dennis Felsing 2f06208 Merge pull request #2308 from def-/pr-env-path - oy

a3774fb Removed color header - LordSk 85d5146 Merge pull request #2309 from LordSk/fix_ui_mak... - oy

6d30262 fixed multiple listbox behavior in settings->ge... - oy

This fixes #2230 The internal snapshot format is now independent from the format used in the demo files. I also added some checks so the client does not crash (so easily) if the demo contains malformed data.

Added starting point for github actions. This PR contains 3 files: A workflow for

• Unix (Ubuntu)
• Windows (64 and 32)
• MacOS

I updated the README, too, so a Badge is shown for each workflow. Currently the workflow just runs on push on master. @heinrich5991 I guess you have to review this