doc/bst2html.py: Added bst2html.py

This baby runs bst and captures the output with colors enabled
and then generates some html we can include in documentation.

These can be generated in CI continuously and used in the documentation.