Fix string_manip.h

copy_escape_html() shouldn't depend on locale. It should encode
every string which is not ascii digit or alphabetic symbol.