Release v0.8.0-alpha

First version with working media player. You can customize a sound to play for racetime.gg chat pings and when a bot posts. The system is flexible enough to accommodate many other triggers, but it is difficult to develop a UI that is just as flexible.

Also updated coop mode to work for races that aren't head-to-head. You and your partner's time can be calculated individually, or compared to an optional "rival" team. Instead of statically showing the time the last partner needs to finish by, the coop timer will countdown how much time the remaining player has to win.