Timing utils

The basic profiling functionalities of Score use the following.

ScoreTimer(target)	Timer for Score instances.
ScoreTimerStat(op, n_samples, duration, params)	Timing statistic element for ScoreTimer.
format_time(duration[, num_digits])	Format a short float duration into a readable str.