Fix options page (#2327)

Bug report: #2325
The value was already correct in local storage but it was not change in <code>options</code> dictionnary in the driver.

src/drivers/webextension/js/options.js

@@ -11,11 +11,11 @@ function getOption(name, defaultValue, callback) {
 }
 
 function setOption(name, value) {
-  var option = {};
+  ( chrome || browser ).runtime.sendMessage({
-
+    id: 'set_option',
-  option[name] = value;
+    key: name,
-
+    value: value
-  browser.storage.local.set(option);
+  });
 }
 
 document.addEventListener('DOMContentLoaded', () => {