jenkins - remove old debfiles
Add documentation to jenkins.sh