Update init_android_dev.sh

Adjust the way ppa's are handled to make them more debian friendly