Incorrect bench number in master. Fix it. bench: 4971497
Rearrange and rename all history heuristic code. Naming is now based on chessprogramming.wikispaces.com conventions and the relations among the various heuristics are now more clear and consistent. No functional change.
When Travis tests a PR, a commit merge is created but master branch is not updated, although HEAD is. No functional change.
Use posix version of sed that is available on all platforms. No functional change.
