For now, this is deployed manually:

• coreos as c4science-ci00
  • systemctl enable docker
  • jenkins data using the image in jenkins-data/Dockerfile
  • jenkins master using the image in jenkins-master/Dockerfile

• centos 7 as c4science-ci-slave00
  • Docker installed and available locally
  • A jenkins user
  • an SSH key installed for the jenkins user's authorized_keys