add jedi plugin