vimrc: <cr> now clears the highlight AND redraws