Bootstrapped HTML output

The HTML output now includes Twitter Bootstrap. This makes tables
display much more nicely.