doc/html/changelog.html : Update for 1.3.1 release.