Better timestamp color in .bashrc