.bashrc: set $EDITOR to "vim"