escape html chars of traceback