add timestamps to bash history