HTML-escape the tracebacks in our error template

Fix #68