vimrc: toggle search highlight
some minor gnome terminal profile changes