Vagrantfile updated to work properly and documented in TESTING