Draft: Add a feature to redirect the standard library in file: urls

This is 0.5.0 of the add-on. It will be released as 0.6.0.

!1 (merged)

Implemented changes:

• A way to redirect standard library URLs in the docs to point at a local copy.

Planned changes:

• Update options.html to match the latest tweaked version of the settings panel.