platform+Makefile: wire in the Android port.
android+externs+Makefile: add externs for printing to Android.