vimrc tweaks, new php-html plugin