To allow distributing the plugins via our own deb repo, this patch set introduces deb packaging for the repo.