Python library for escaping/unescaping HTML5 Named Character References