human readable time format for duration of history index

fixes #745