debian/: modernize packaging & make it build also on Debain testing
- debian/: upgrade to debhelper-compat 13
- debian/: adapt packaging from Debian unstable as appropriate
- debian/control: add Conflicts, Replaces, Provides on the old pkg name
- debian/control: update description of compat pkg
- debian/: update packaging to also build on Debian testing by making dh_migrations optional
- Adjust ignore_pat in copyright_check.sh