The best solution so far: aha
to convert to HTML (https://stackoverflow.com/questions/245121/a-library-to-convert-ansi-escapes-terminal-formatting-color-codes-to-html), then convert HTML to PDF e.g. with wkhtmltopdf
.
I am still looking for a one step solution.