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.
Merge branch 'master' into new_reporting

Conflicts:
	src/python/twitter/pants/reporting/html_reporter.py
	src/python/twitter/pants/reporting/linkify.py