Linux color console

This should colorize output on Linux. With no way of verifying the behavior, I need someone with Linux to test it out.
Ref.: Issue #41