steve.py: Add html escape/unescape functions