Rudimentary performance timer allowing to get min, max, cumul and average processing time for a block of code. Meant to be used by plugin developers.