feat: introduce `-title` option for the title of index.html

[yoshihiro503]

fix #6

A new command line -title are introduced for the title of the index.html. If the is not specified, the directory name is chosed as the title.

issue

• https://github.com/affeldt-aist/coq2html/issues/6