Various Vagrant scripts, mostly related to Eiffel