Added jedi to python tools