0.12.0.5

I'd say I'm ready to merge the experimental and main branches. Let's hope this works!

Changelog:

* Variable font sizes! Should be of some assistance to people on high resolution screens. You'll find the dropdown in the "Options" menu.


(Click to enlarge)

* Fixed multithreading bug that could cause a random crash in long running games.
* Improved alignment of some UI features.