Allow requesting sourcegraphURL permissions in options menu
Created by: lguychard
Fixes #2228 (closed)
In certain cases, the browser extension might need to be granted permissions to the Sourcegraph URL, for example, if the Sourcegraph instance is setup behind an oauth2_proxy (#2228 (closed)).
Permission requests must stem for a user gesture. What we do here is: