Merge to upstream r253826

HTML output is now the default. Added third_party/trace-viewer submodule
to support this.
Updated the documentation to match the current functionality.