Added theming system, so the editor now supports colors/sizes. Default is Obsidian, but will in theory support any themes Eclipse does. Fixed yet more bugs, and prefs.conf is renamed to prefs.dat (as it's not really a hand-editable file)