Update to android-tools

- Updated remedit to Revision 4.
- Added RepoReplace and RepoRestore
- Added early alpha version of repoc (repository crawler)