setting up debian packaging for Jenkins CI