python: Convert terminal escape sequences to strings.