CI: Upgrade to Docker 1.9
machine:
+ # Update docker to 1.9
+ pre:
+ - sudo curl -L -o /usr/bin/docker 'https://s3-external-1.amazonaws.com/circle-downloads/docker-1.9.1-circleci'
+ - sudo chmod 0755 /usr/bin/docker
environment:
SCRATCH: "$HOME/scratch"
CIRCLE_NPROCS: 2
