Update themes/monokai submodule to latest HEAD