A repository of Android Virtual Device settings files as separate xml files