This patch updates the Vagrantfile to Fedora 31, and updates the install process to match the quick start guide.