Deleting themes file that are no longer needed

Theme files are being loaded from thirdparty/codemirror/theme now