How to remove dgit-infrastructure from Debian 9 (Stretch)