BUG: fix for the bad SDK link in the Android push tutorial