add support for importing a new deconjugator ruleset and overriding the built-in one

options.html

@@ -17,10 +17,6 @@
 </div>
 </form>
 
-<div>
-<p><button id="livemininglink">Configure live mining</button></p>
-</div>
-
 <div class=dictstuff>
 <h2>About</h2>
 <p>This extension uses JMdict, which is Copyright © 2018 The Electronic Dictionary Research and Development Group and licensed under the <a href="https://creativecommons.org/licenses/by-sa/3.0/">CC BY-SA 3.0</a> license.</p>