dolfin.cpp.common.
timings
Return a summary of timings and tasks in a Table, optionally clearing stored timings