.vimrc: Assign to F1 showing the hidden characters
.vimrc: Minor fixes in the hotkeys