tiny hack for colored pretty-printing within ghci