Alphabeticize AndroidManafest.xml. First step toward #18.