Tor plugin for Android using native Tor binary, jtorctl and jsocks.

Only the ARM binary is included at present. Better control of the Tor
process is needed - it's possible for it to be left running when Briar
exits, and if the cookie file is deleted it's no longer possible to stop
the process.