New Server options

[Admins]

In newfeatures2001.txt, included in the new graal
version, the new server options bigmap= and minimap=
are described. You can use it to set the map like with
setmap or setminimap. The txt and pngs are downloaded
(png only if <60k, otherwise only auto-mapping on a
black background is done).

In a few days there will be some playerworld changes,
some new playerworlds, some playerworlds switched,
and I will take some minutes to test some playerworlds
since I haven't found the new playerworld testers
and they refuse to test playerworlds that are not
english