Support sending gzipped request bodies

Whenever there is a large amount of content the Python API should gzip the body and include the following header:

"Content-Encoding": "gzip"

This should be done for:

• Sending large numbers of runs, i.e. "loadSim"
• Sending scalar or non-scalar metrics
• Sending events

In the requests post you can just do:

data=gzip.compress(msgpack.packb(data, use_bin_type=True))

or

data=gzip.compress(json.dumps(data).encode("utf-8"))

as appropriate. Obviously don't use json=... any more in requests.post(...), use data=... instead.

loadSim、スカラーおよび非スカラーのメトリクス、イベントに対する Python API のリクエストパスから始め、これらの requests.post 呼び出しと現在の JSON または msgpack ペイロードに注目します。3 つすべての操作について、該当する大きなリクエストボディが data= と gzip 圧縮を使用し、Content-Encoding: gzip ヘッダーを送信することが完了の条件です。