build: read VM CPUs/RAM from builder/Vagrantfile
makebuildserver.config.py is no more, builder/Vagrantfile is now where the CPU and memory is configured for the buildserver VM. In fact, that was always the actual place, the makebuildserver.config.py thing was just confused.
This should have been part of !1222 (merged)
Edited by Hans-Christoph Steiner