Cleaned up unused Vagrantfile options