This commit removes the shared git repository in the root directory:
instead, a 1-depth clone of the branch is done at the start of each
build, so the source code is guaranteed to be fresh.

This doesn't affect build times so much, because only the latest commit
is cloned, not the whole history.