ui.cli: Use pygments to colorize command line output