update sound preferences in ios settings ('sound' means 'sound effects' instead of 'sound enabled')

restored ios project file, updated Game() interface, tweaked arg parsing, updated log writing, minor warnings

On pagenetgame, when window is too small the map/game options becomes a tabbed interface to allow for a few lines of chat to always be visible. Restored HWForm's min height to 580. Fixed the 2px alignment issue with the map list and map previews' top edges that unC0Rr was whining about. <3

Fix official server build

Okay, let's try not trust even room admin on this

Make number of hedgehogs restriction actually work in network game

Removed constant repainting of bgwidget on every frame.

Prepends an asterisk on maps, styles, and themes that are DLC. (Resolves issue #515)

Force-starting a game now only works for client versions >43

Learn to properly localize strings with numbers pleeeeaaaase