Port the DarkSolarized theme.
Merge branch 'theme' into dev