add jedi.el