Add option for show in the command execution time stamp in the history
Merge pull request #1928 from dongweiming/add-hist-stamp

Add option for show in the command execution time stamp in the history