Use multiple concurrent prove jobs to improve test speed

The number of proof jobs is equal to the number of logical processors.
The absolute path referencing wmic.exe is required as we must not rely on
$PATH contents outside our mingGitDevEnv world.

Signed-off-by: Thomas Braun <thomas.braun@byte-physics.de>