A graphics-mode codepage 437 codec for Python 3