added monokai theme and set it up as the default one