Implemented ANSI text attributes (bright or bold,
underlined.

src/coloured_pretty_printer.m:
    as above.