Tools: repoclone, reporeset, repohardlink

I wrote tools repoclone, reporeset and repohardlink to copy and use multiple Android repos in parallel.  By using hardlinks in a git-native manner it clones repos much faster and saves a lot of storage.  [Documentation] [Git]