chore: remove Vagrantfile.dist

It moved to devkit.

Author: kenjis

.gitattributes

@@ -15,7 +15,6 @@ contributing/ export-ignore
 .nojekyll export-ignore export-ignore
 CODE_OF_CONDUCT.md export-ignore
 CONTRIBUTING.md export-ignore
-Vagrantfile.dist export-ignore
 
 # They don't want our test files
 tests/AutoReview/ export-ignore