vimrc improvements

I added the incsearch and hlsearch options to the vimrc.
I added the font for GTK and set the font selection based on the platform.
I fixed a bug with setting the html_use_w3_style variable.