added the monokai-theme submodule