Add option to use system's Tor binary

This is most likely needed for a release to Debian (briar-gtk#38 briar-desktop#261).