bashrc: add timestamp command