vagrant: support other providers besides virtualbox (Bug #4158)