shell: Jedi can slow down a lot the typing
Probably because ptpython is patched, jedi can take a lot of time to provide auto-completion.
I guess, previously it was handled with a thread, or there was a way to cancel it.
It would be good to check if the call from ptpython could be wrapped with a gevent timeout.