adds jedi (auto-completion for python)