update Vagrantfile for python3-only development