HTML reporting for pants.

This code generates HTML suitable for serving from the pants reporting
server. That server code will be in a future commit.

Also some related minor fixes to other files.