Nuke HISTORY file

I might keep maintaining it in the "1.10" branch but I don't intend to
keep it up to date forever. It's a pain and I always forget it.

Use GitHub Release notes or git log to get a list of changes between hub
releases.

[ci skip]