Add HISTORY file.