This speeds up builds when more CPUs are available. Also removed redundant docker installation: mdbci already installs it.