timings: differentiate between avg/median/...

[dingens]

Timings from the specs use different statistical methods like average or median. Sometimes there's even both or even more like min/max/quantile values. What do we want to do about it?

• store all of this
• only store one but note what it is
• ignore it, every scheme has at least mean or median, and they don't differ that much (just suggesting this as an option, I don't know if they do)