RLG-Web client: refresh the current games list.

Add a refresh button to the list of watchable games.  Also refresh it
if watching fails.

index-rlg.html

@@ -91,6 +91,7 @@
  <div><div>Player</div><div>Game</div><div>Actions</div></div>
 </div>
 <div id="nogames">There are no games to watch.</div>
+<div class="rfloat"><span class="ibutton" onclick="getcurrent()">Refresh</span></div>
 </div>
 <div class="modal" id="startgame">
 <div id="opttable" class="formtable"><div><div>Game</div><div>Actions</div></div></div>

rlgterm.js

@@ -603,6 +603,7 @@ function startwatching(gamenumber) {
     }
     else if (reply.t == 'E') {
       debug(1, "Could not watch game " + gamenumber + ": " + reply.s);
+      getcurrent();
     }
   };
   req.open('POST', '/watch', true);