Changed logic for loading theme files

Themes are now loaded from thirdparty/codemirror directory...