Use multiple concurrent prove jobs

This greatly improves execution speed of the tests.

Signed-off-by: Thomas Braun <thomas.braun@byte-physics.de>