Vagrant settings to setup an EiffelStudio dev environment on Linux x64