jedi's go to definition by Enter
make jedi less annoying