dockerfile for boot2docker.