Add a help text.
Add newlines to make raw HTML easier to read.
Create HTML-formatted BibTeX file.

Instead of relying on the user to put all BibTeX files in the right
place, we now create a new file to which the main HTML documents link
to.