Added rope for refactoring; added monokai to theme list.