gen-android-sdk-toolchain.sh: Add --print=<tool> option.

This adds an option to the script to dump the name of a host-specific
tool (e.g. 'x86_64-linux-gcc', with --tool=gcc). The <tool> value
can also be 'binprefix' to print the binprefix only.