Replace "string_escape" encoding for Python 3

The "string_escape" encoding does not exist any more in Python 3, as str always
holds unicode strings. Use unicode_escape instead, with the necessary
adjustments for its slightly different behaviour.