Proxy Manager wót Rasmus Rendal

This is a browser extension I developed to handle a problem I had, which was the difficulty of quickly making rules for which domains should be loaded with which proxies. This addon supports a quick proxy rule manager in the taskbar, and a temporary per-tab option for proxies.