Make use of OpenDHT's proxy

Currently, a small python script running a REST API HTTP server is supported, but it is quite limited compared to the proxy. Using OpenDHT's builtin proxy client code would be more robust and remove the need for some of our own dependencies.

Paired with a node running continuously in the background, this would potentially greatly speed up requests.