Added HISTORY file.