vagrant file for docker