The files for Vagrants are too outdated, this patch removes the information about Vagrant in the documentation and the old files used to set up a Vagrant environment. Change-Id: Ieee7b76172874e67bb31055c0c40beb41785f7bb