Allow HTML in grader messages.

Allow HTML in grader messages