new alias: ghci=ghci-color