Added curl options to install boot2docker.