Update HISTORY file for new release. [admin]