Fixed issue where themes that no longer existed would cause the theme loader to completely fail.  Also Added better handling for theme names that's not strictly based on the name of the file
Removed temp code to load all code mirror themes
Fixed issue with theme not being applied when set while no documents were open
Remove old css file to avoid weird flashes when saving a theme
Adjusted code mirror override to allow for themes to override the defined styling tokens