Mailing list changes

The gzg mailing list has been moved to a new server. It's now running
under mailman.

Digest users have been put on the main list - you can alter your
settings at http://mailman.firedrake.org/cgi-bin/mailman/listinfo/gzg
.

List archives are not currently available. This will change.

Roger