human readable time format for duration of history index
fixes #745
Merge pull request #746 from vladak/histindex_time

human readable time format for duration of history index