Make sure the manifest version sub-shell has correct PWD
Add a convenience script for pushing changes in the Android project subtree