bashrc: add timestamp to history