Alias cat to pretty cat (requires pip install pygments).