Set default theme to monokai

Monokai can be installed through elpa