Update to the latest version of Android.

This commit updates the AndroidManifest.xml to target the latest SDK:
this prevents compatibility behavior on latest version of the OS.

Moreover, update the tools used by Travis CI to the latest and greatest.

Finally, make the download a bit let verbose and easier to debug.