bashrc: add some key bindings