Revisit to introducing coloring in the output (should be switchable). We had some prototypes in the past (#75), but the time was not ready for a more fancy output ;-)