A few useful python keybindings