Improve Android pause/resume behavior.

build-scripts/showrev.sh

@@ -0,0 +1,7 @@
+#!/bin/sh
+#
+# Print the current source revision, if available
+
+# FIXME: this prints the tip, which isn't useful if you're on a different
+#  branch, or just not sync'd to the tip.
+hg tip --template 'hg-{rev}:{node|short}' || (echo "hg-0:baadf00d"; exit 1)