Small improvements regarding Vagrantfile and README.