deploy: Do not generate a bogus options file in the repository.

It was recording the Jenkins build workspace, which cannot be useful:

  root@jami-repovm-01:/srv/repository/ring/nightly# find -name options -exec cat {} +
  basedir /var/lib/jenkins/workspace/packaging-deploy-gnulinux-generic@2/ring-project/repositories/ubuntu_20.10
  basedir /var/lib/jenkins/workspace/packaging-deploy-gnulinux-generic@6/ring-project/repositories/debian_9
  basedir /var/lib/jenkins/workspace/packaging-deploy-gnulinux-generic@2/ring-project/repositories/ubuntu_17.04
  basedir /var/lib/jenkins/workspace/packaging-deploy-gnulinux-generic@5/ring-project/repositories/ubuntu_20.04
  basedir /var/lib/jenkins/workspace/packaging-deploy-gnulinux-generic@4/ring-project/repositories/ubuntu_16.04
  basedir /var/lib/jenkins/workspace/packaging-deploy-gnulinux-generic@2/ring-project/repositories/ubuntu_17.10
  basedir /var/lib/jenkins/workspace/packaging-deploy-gnulinux-generic@6/ring-project/repositories/raspbian_10
  basedir /var/lib/jenkins/workspace/packaging-deploy-gnulinux-generic/ring-project/repositories/ubuntu_19.04
  basedir /var/lib/jenkins/workspace/packaging-deploy-gnulinux-generic/ring-project/repositories/ubuntu_18.04
  basedir /var/lib/jenkins/workspace/packaging-deploy-gnulinux-generic@4/ring-project/repositories/ubuntu_18.10
  basedir /var/lib/jenkins/workspace/packaging-deploy-gnulinux-generic@4/ring-project/repositories/debian_10
  basedir /var/lib/jenkins/workspace/packaging-deploy-gnulinux-generic/ring-project/repositories/ubuntu_19.10

Change-Id: I3b50d78c8b2c084e2e510f5b37958762db9ff185