close explorer button when empty - closes #1672

conf/base.conf

@@ -9,7 +9,7 @@ net {
   ip = "5.196.91.160"
   asset {
     domain = ${net.domain}
-    version = 873
+    version = 874
   }
 }
 play {

ui/analyse/src/explorer/explorerView.js

@@ -128,7 +128,11 @@ function show(ctrl) {
         m('p',
           ctrl.explorer.config.fullHouse() ?
           "Already searching through all available games." :
-          "Maybe include more games from the preferences menu?")
+          "Maybe include more games from the preferences menu?"),
+        m('br'),
+        m('button.button.text[data-icon=L]', {
+          onclick: ctrl.explorer.toggle
+        }, 'Close')
       ])
     ]);
   }