Use coreos instead of boot2docker.