Debian packaging: update changelog for 1.3.1

