Update Debian packaging for 3.1.0 release