timestamps.*.json の内容の拡張

[kmyk]

現状は単純さを優先して timestamp しか保持していない。しかしドキュメント生成のための情報 (例: 実行時間 #69) を記録しておきたいので拡張したい。
ただしやるなら仕様はちゃんと検討した方がよい (後からの変更は面倒なので)。

[kmyk]

• timestamps.*.json からの migration は自動でできる
• timestamps 以外も保存することになるが、名前は変えるか？ 何にする？
• 一番外側を {"files": [ "examples/segtree.test.cpp": { ... }, ... ] } みたいにしておくか、それとも { "examples/segtree.test.cpp": { ... }, ... } のままか？