To run the server:

   mred -qr main.ss

with a number on the commandline to change the port number of the server.

;; --

To run some players for competition, use:

   mzscheme -qu remote-best.ss 

with additional flags after that, as follows:

remote-server [ <flag> ... ]
 where <flag> is one of
* -a, --annie : Play with Agressive Annie
* -b, --bob : Play with Balanced Bob
* -c, --charlie : Play with Careful Charlie
* -r, --ron : Play with Random Ron
  -o <_host>, --host <_host> : hostname
  -p <_port>, --port <_port> : port number
  --help, -h : Show this help
  -- : Do not treat any remaining argument as a flag (at this level)
 * Asterisks indicate flags allowed multiple times.
 Multiple single-letter flags can be combined after one `-'; for
  example: `-h-' is the same as `-h --'

;; -- 

NOTE: if you change the source code, delete the .zo files or
you might not see your changes (depending on the changes you
make...)
