Update tools.mk to select OS specific Android SDK
Update tools.mk to select OS specific Android SDK
corrected a comment
updated make android_sdk_update routine
Merge pull request #1391 from henkf/androidgcs_fix_SDK

Fix Android SDK installer