Switch to the upstream monokai theme