Update HISTORY file for release