Removing old vagrant configuration options that no longer work (config is now stored in settings), changing vagrant.bat to vagrant

Fixing ruby tool finder for rbenv

[#79483828]