New PPA release

Also I forgot to jack down the debhelper compatibility number in the
wonderfully-named debian/compat file when I jacked down the debhelper
dependency version in debian/control.