update android port

Pre-works for upgrading androidport of Servo.
Texture sharing by using EGL image extensions.