update HISTORY, version number