Use SnakFormatter for HTML output.

Change-Id: Iadc01fd83de8337b72394d6a6e3ef67b8f2d8fd0
Merge "Use SnakFormatter for HTML output."