Use color for terminal output

You don't necessarily need color on the terminal, but still, it does look good – and does not involve too much effort.