A clone of the 'repo' tool used for maintaining the Android source distribution