Moved to packagecloud

I used to keep a Debian repository under this path. It was sort of a
manual process. Nowadays, though, there free artifact repositories
that can be connected to CI servers that can be connected to the
github directly, so this lost the appeal.