vagrant: complete development environment (all repos and toolchains)