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

took out the last remaining virtualbox references
Merge branch 'feature/4158_vagrant__support_other_provider' into develop