server_timing_plug

Plug that can be used to add Server-Timing header metrics to responses