Added script for generating HTML
Added a syntax highlighting HTML exporter (uses Pygments)