Mining Colony Music

Changed music from the "epic menu" theme to the theme from alien
encounter (because most other music files were wav or mp3)
Changed controls for player 3 & 4

Player 3 controls
- Arrowkeys, right control & Numpad 0
Player 4 controls
- Numpad 4-9
Merge remote-tracking branch 'origin/dev_OTHER' into dev