This takes a full URL (as a string) to use as a proxy. The previous `setProxy(String, int)` signature is still available for Signal TLS proxies in particular, but now we have the flexibility to support other kinds of proxies as well.