Renamed tool.ss tp client-gui.ss -- the handin client is very useful

as part of a course package, so a less generic name is better.

svn: r996

collects/handin-client/client-gui.ss

@@ -1,4 +1,4 @@
-(module tool mzscheme
+(module client-gui mzscheme
   (require (lib "mred.ss" "mred")
 	   (lib "class.ss")
 	   (lib "unitsig.ss")

collects/handin-client/info.ss

@@ -1,5 +1,5 @@
 (module info (lib "infotab.ss" "setup")
-  ;; Modify these four definitions to customize the tool.
+  ;; Modify these definitions to customize the tool.
   ;; Also replace the "icon.png" and "server-cert.pem" files.
   ;; Instead of uncommenting the definition of server:port, you
   ;; can set the PLT_HANDIN_SERVER_PORT environment variable.
@@ -15,6 +15,6 @@
   ;(define web-address "http://www.university.edu/course/")
 
   (define tool-icons (list (list "icon.png" collection)))
-  (define tools '(("tool.ss")))
+  (define tools '(("client-gui.ss")))
   (define tool-names (list name))
   (define requires '(("mred") ("openssl"))))