src/html/generate-html: Parallize generation
src/html/generate-html: Parallize generation

This commit updates the `src/html/generate-html` script to paralellize
generating html files. This should speed up the generation of html by a
factor of 11.

KWARC/bibs,KWARC/bibs