record timestamps in bash history