getdns jni port for android, includes sample vanilla app