Added Bash history time format to .bashrc.