Update monokai theme,
Add python-environment package.