version 13-07-11

- added a workaround to get load a logical monospaced font
- cosmetic changes to ship browser
- some code optimization for ship choice window / makes more sense
- some regex cleanup