Bump debian version to 1.1.2 for 3.1 release.