Manifest files for use with Android's repo script