Version 1.13.1

Patch release for 1.13 that fixes incorrect behavior and improves the stability of the engine.

Fixes

Multiplayer: Crash when joining a multiplayer game using the Vanilla appearance profile
Multiplayer: Crash when more than one clients join a game
Multiplayer: Missing busy mode transition frame when joining a game
UI: Using keyboard bindings when a popup is open in the UI (e.g., pressing F11 to toggle screen when the DE menu is open in the task bar)
Audio: Momentary pause during MIDI playback when looping (fixed in upgraded SDL and SDL_mixer in the Windows package)
OS X: Shell uses the wrong UI font

Added the -nodiscovery option to prevent Doomsday from looking for running servers on the LAN