does anyone know of a way to get a timestamp on each individual command line in a bash history file?