Use `git clone --depth 1`.

We don't need the full history here to just build the current version of
a given extension.
Forgot to export archive-log accessor.
Rework the `pginstall animal build` loop.

Arrange the output to be more user friendly.