tentative ankiconnect support

options.html

@@ -17,11 +17,15 @@
 </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>
 <p>This extension is otherwise licensed under the <a href="https://www.apache.org/licenses/LICENSE-2.0">Apache License, version 2.0</a>.</p>
-<p><a id="abbrlink" target="_blank" href="#" >View JMDict abbreviation definitions</a></p>
+<p><button id="abbrlink">View JMDict abbreviation definitions</button></p>
 </div>
 </div>
 </body>