use repo jenkins-debian-glue for glued packages

We can then set something like:

    $ cat /etc/apt/sources.list.d/local-glue.list
    deb file:///mnt/repository jenkins-debian-glue main
    deb-src file:///mnt/repository jenkins-debian-glue main

Change-Id: Ic63db3db399644e725367dd1670bada37a0d6164