moved themes around
Readded Default theme
Added theme optimised for the "Solarized Dark" theme
Added function to derive a custom theme from a given theme
Renamed theme SolarizedDark to Solarized, because it matches both variants