Add boot2docker iso generation