Jedi.el configuration