Merge pull request #68 from eric-wu/perf

Python script to generate simple statistics of performance data
Merge remote-tracking branch 'base/perf' into perf