Use android_sdk repository on Github

Change-Id: I04bae5df9ab34112297983ba921cfc16487dfe3c
Merge branch 'cm-10.1' of github.com:CyanogenMod/android into cm-10.1