Minor changes to prepare for release

Fix bug in Premium Edition's `AndroidManifest.xml`. Modify `release.sh`
to reflect recent changes to directory hierarchy.