prettyprint.backend: fix pprint for new escape codes.