Delete HISTORY.txt

This is of no use