use official theme
added bold support
default font changed to Menlo
Merge branch 'master' of https://github.com/JetBrains/colorSchemeTool