Add option to use system's Tor binary

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