core (xmpp), plugin android: fixed DNS, SRV handling on Android: Android doesn't have a "/etc/resolv.conf" that Twisted expect. As a result, SRV records can't be checked correctly on connection. To work around that, DNS servers used on Android are checked when necessary (on Android plugin startup and on connectivity change), using some hacks, and Twisted is patched to use them.

# XXX: the Monkey Patch is here and not in src/__init__ to avoir issues with pyjamas compilation
# TODO: remove this when changes are merged in Wokkel
from sat_tmp.wokkel import install
install()