Add html man pages and index generation script and generated files