Added monokai colorscheme, but using solarized