add repository.debs and repository.install

Hi Sebastian,
this is needed in order to hang it into our jenkins.

Best,
Fred