added HISTORY.txt; fixes #64