A Python interface to GitHub's Houdini escaping library