Implement a simple benchmark

The directory benchmark now contains a simple benchmark, which is described in
the README in that directory.

Subsequent changes were also made to all the Paprika components since they were
badly written and it was basically impossible to implement the benchmark.