Get Gym Workspace

The git block of the workspaces contract, verbatim.

bench/gym/site.py fills path/exists/branch/head/short itself by reading .git/HEAD; the last four need git to run, so the gym computes them once when a run closes and writes them into the manifest. Reading them back off a file means a page of thirty cases is thirty file reads, not thirty subprocesses.