Git repos now archived.

Git repos, when deleted, are now moved to an archive/ directory
in the git repositories directory