adding jedi, and remapping Ctrl-Space to Alt-Space