Add 256-color approximate version of Numbat

This is the new default, and in the gui is only very slightly different.
Settings were added to vimrc to automatically try to use 256 colors on
gnome.
Remove local dictionary files
Add missing numbat256 colorscheme
Ignore local dictionary
Fix doxygen formula tag highlignting in VHDL