Change the Python module's name back to rlgall.

It is no longer an experimental variant.  Using a database as a backend
is a settled feature.

web/archive.cgi

@@ -7,7 +7,7 @@ import time
 import calendar
 from datetime import datetime
 import pytz
-import rlgalldb as rlgall
+import rlgall
 #import cgitb
 
 #cgitb.enable()

web/recent.cgi

@@ -3,7 +3,7 @@
 
 import sys
 import time
-import rlgalldb as rlgall
+import rlgall
 
 # It is assumed that sys.stdout uses UTF-8 encoding.  If this is not the case,
 # configure the Web server to set the LC_CTYPE environment variable to a UTF-8

web/scoring/players/index.cgi

@@ -2,7 +2,7 @@
 
 import os
 import sys
-import rlgalldb as rlgall
+import rlgall
 
 playerdir = "/var/www/lighttpd/scoring/players/"
 linkstr = '<li><a href="./{0}.html">{0}</a></li>\n'