Helper function for storing timings information.

add_timing_checkpoint(timings, name)

Arguments

timings	The timings list of previous checkpoints.
name	The name of the timings checkpoint.