compare Criterion & Divan

[CrockAgile]

a new benchmarking framework is on the scene! Divan looks pretty great, so the work for this issue is:

• port existing benchmarks to Divan
• compare the code of Criterion and Divan benchmarks
• compare the readability and clarity of the benchmark outputs

[shnewto]

Divan looks really promising!