A web-based administration interface for Onion Pi (a transparent and anonymizing Tor proxy running on a Raspberry Pi)