Add monokai theme submodule