Drop History.txt

We weren't maintaining it, and I think having no log is better than
having one that's made of lies. The entries we had weren't
significantly different from just looking at the git history anyway.