Display timestamp with HISTTIMEFORMAT by default