cache git repos

[TomasTomecek]

Before doing builds, we could store git repos on server. We might also build tooling on top of these repos and then, when there are multiple builds from one repo, we can easily display differences.

This will be important when webui starts to shape up.

[twaugh]

It will also help with running dockerfile_lint, which needs access to the Dockerfile before the build starts.