st_escape.pl -- HTML escaping

Escapes symbols that have special meaning in HTML.

 st_write_escape(+Stream, +Text) is det
Writes text into Stream by escaping some of the symbols that cause problem in HTML.