Remove Vagrantfile

This is in .vagrant now.