Update HISTORY.txt

Be complete for next release...