lang/gnatdroid-*: Update sysroot to Android API level 9 -> level 19
This is the first of two steps to update the gnatdroid ARM cross-
compilers. The sysroot was 10 versions behind the current API level
of 19. The latest API level drops ARMv5 support, but the API is
backwards compatible, so if applications restrict themselves to
level 18 features, then ARMv5 should still be usable.
The next step is to base the cross compilers on GCC 4.9 instead of the
GCC 4.7-based gcc47-aux port.