Adds output to HTML (via `--html`) option.

* Progress ends up in `stderr` now.
* Adds `results.html` file with HTML results.