aux/android: New Android utility library added.