Find a stable place to benchmark and record benchmarks

[egpbos]

Some decent machine + maybe a website to publish the recorded results. Continuous benchmarks would be even better, since then we can catch performance regressions more easily.

[egpbos]

Do this before doing #7, #10, #13 and #14!