Add HISTORY file and bump version number