vagrant file and some vagrant instructions