debian/gbp.conf: upstream branch is now pf-3.13.