Added a HISTORY file.