add links to web searches over HTTPS (since DDG tor endpoint sometimes goes down)
bump tor version
use an ARC-ready Reachability implementation
update build settings
solve some iOS 6 SDK deprecations before we need to worry about it
1.3.7