Alphabeticize AndroidManifest.xml. First step toward #18.