It'd be great to be able to set the paths to the android SDK and NDK tools without having to edit the WORKSPACE file, to accommodate variations among dev environments. I guess build:android --android_sdk_path=... would make sense, for instance?