lexington.py: add very basic HTML output support