Make prints to stdout prettier by using colors and fontfaces (terminal emulator has to support these features)
Super-simple CPU time keeping, e.g. for profiling. Uses the TextDecorator utility.