Add benchmarks

Some benchmark stuff as it will appear in the jufo version of my paper. One
must note that the time for A3 is the time spent on all processors. On my
system there are 4 processors and consequently, the displayed amount of time
must be quartered to each of them so that we get some measurement of real
elapsed time.