[552542] Escape special characters in Strings rendered as HTML

- add code to escape special characters in Strings rendered as HTML,
including thread and class names  
- add some tests to verify the validity of the generated HTML

Change-Id: I35614d50182a21a757b3d626803a926898595bfc
10 files changed