Rugby ball verification

This example follows the classic "rugby ball" example by Borrvall & Petersson 2003.

The example is run on many different numbers of processors. But to avoid edge cases, we will only run on prime numbers.