Replace the standard FreeBSD side navigation menu thinger with a
new fancypants FreeBSD/GNOME-specific one.
Note that the index.html and newsflash.html pages haven't been updated
because I can't figure out the magic XSL incantation to make them read
in the new includes.navgnome.sgml.