A tool for shuffling log entries

This tool can be used to read a log file and produce an equivalent log file with shuffled entries.
Indeed it still guarantees that the commits are ordered wrt transaction id.
Merge pull request #3148 from davidegrohmann/1.9-log-entry-shuffler

[1.9] A tool for shuffling log entries