Remove the static high score page.

Don't create it, change all links, and redirect any requests.

py/recorder.py

@@ -34,9 +34,8 @@ for game in rlgall.gamelist:
 
 # All the databases have been updated.  Now make the pages.
 
-# Currently the high scores for all the games are on the same page.  If 
-# they split up, this will have to change to a Game method.
-rlgall.highpage()
+# The high page has been replaced with a CGI script.
+#rlgall.highpage()
 
 for name in updatenames:
   rlgall.playerpage(name)

py/rlgall.py

@@ -45,7 +45,7 @@ tblend = '</div>\n'
 pend = """<div class="foot">
 <a href="/">rlgallery.org</a>
 <a href="/recent.cgi">Recent Games</a>
-<a href="/scoring/highscores.html">High Scores</a>
+<a href="/scoring/high.cgi">High Scores</a>
 </div>
 </body></html>
 """