Debian packaging for 3.0.0 release