add timestamp to bash history