Display stack traces for failed specs

Also nicer formatting of spec failures for HTML, and fixes HTML escaping bug.