changed casefold tmplt spec, added docs

The specializations of the casefold template are now in their corresponding
namespace, something which gcc did complain about. Also added documentation for
the vhdl namespace and improved overall documentation.