Aggregate timing data of `codetiming.Timer`

aggregate_timers.py

import pandas as pd
from codetiming import Timer

timer_dfs = []
for timer_name in Timer.timers:
    timer_dfs.append(pd.DataFrame({
        'timer': timer_name,
        'count': Timer.timers.count(timer_name),
        'total': Timer.timers.total(timer_name),
        'min': Timer.timers.min(timer_name),
        'max': Timer.timers.max(timer_name),
        'mean': Timer.timers.mean(timer_name),
        'median': Timer.timers.median(timer_name),
        'stdev': Timer.timers.stdev(timer_name),
    }, index=[0]))
timer_df = pd.concat(timer_dfs, ignore_index=True)

print(timer_df)