Dockerfile and boot2docker