Add the android repo into the manifest, so the gerrit repo remote is...

Add the android repo into the manifest, so the gerrit repo remote is automatically set up and usable via repo upload.

Change-Id: I58221bd63a6db173e1e0868dd552bae392331911