update android port

Pre-works for upgrading androidport of Servo.