Various typofixes

Various typofixes, and document the VHDL_SOURCES makefile variable.