android-sdk formula: update to 23.0.1

r23 was broken. See https://code.google.com/p/android/issues/detail?id=72419