Jedi autocompletion server for superlime