Navigation
Main changes since previous fix:
* many crash fixes
* Fixed spectator mode keyboard shortcuts (in follow mode, use 1-3 to switch camera, and Ctrl+0-9 to switch players)
* validation in laps mode (to have a fully debbuged laps mode, you need to have both the game and the server updated to the latest version)
* manialink browser small fixes (proxy settings now used for all http requests, the videos and sounds are displayed sooner, ...)
* translations files updated to the latest version
