Tries to fix Travis configuration.

This should a more reliable way to fetch the Android SDK we need.