Regenerated HTML documentation with recent changes, including license and pointer to PDF.

Changed GenerateDocs.pl to use MIT license.