Adding vagrant file in Geppetto