installed jedi plugin as a submodule