repo tool manifest (http://source.android.com/source/using-repo.html)