Delete android_sdk_supplemental_repository

This looks unused and according to the docstring was only necessary
until the real rule was in starlark

Author: keith