bashrc: add timestamp to console