A kate plugin uses Jedi, fixes #322