Added an options page to allow editing the list of saved domains.

This version includes almost an entire rewrite to port the add-on to the new WebExtensions API. Unfortunately, any saved domain preferences will be lost due to incompatibility between Firefox versions.