Add boot2docker export