Change log

• Fixed a problem with interceptors that prevented battles from completing and causing a stuck turn.
• Address an issue where a specific set of galaxy options that would produce an early game stuck turn 
• The map editor's mini-map is no longer missing.
• Fixed a case that allowed machines to select unsupported graphic options resulting in either black screen or a crash.
• [hot patch #2] Fixed another stuck problem related to battles