Scripts for Debian package/repository handling inside Jenkins