Support for storing historical runs

Need to be able to manually specify creation, start and end times. To begin with:

• Run.init() needs additional options created, started and endtime (or similar). If not set, the server will set them (as it does now).
• Run.close() needs an additional timestamp option for specifying the end time. If not set, the server will set it (as it does now).

This doesn't take into account people using the context manager.

When creating a run the JSON body in the POST can include created and started. If there are no metrics then it can also include endtime and status set to completed. When updating the status of the run to completed the JSON body can include endtime.

まず Run.init() と Run.close() を追跡し、次に run の作成と完了のためにそれらの JSON ボディがどのように組み立てられているかを調べます。コンテキストマネージャー経路を考慮し、オプションの履歴タイムスタンプが現在のサーバーのデフォルト値を維持し、完了した run が必要なステータスと終了時刻を送信することを確認します。