Remove jedi

It's quite nice in principle, but its occasional quirks (writing garbage
to buffers, lagging a lot, failing in virtualenvs) make it overall
unusable.