Jenkinsfile: Update apt repo location.

Jenkinsfile

@@ -31,7 +31,7 @@ node {
      }
      stage 'deploy'
      unstash 'package'
-     withEnv(['OS=jessie','POOL=laas','ARCH=amd64']) {
+     withEnv(['OS=debian','POOL=jessie/laas','ARCH=amd64']) {
          sh 'scp *.deb jenkins@apt.uninett.no:/www/apt.uninett.no/htdocs/\$OS/pool/\$POOL/binary-\$ARCH/'
          sh 'ssh jenkins@apt.uninett.no /www/apt.uninett.no/bin/mkrepo.debian'
      }