Add jedi settings.