Hmm all right. I still think it would be nice to start the Jedi REPL with `python -m jedi`.

But that's not a huge issue. We can still do that later.

BTW: The reason why I haven't "pushed" this PR harder in the last few weeks is that it just didn't work out for me as I was expecting. I have to check a few things first before pushing this.