[Savannah-hackers-public] robots -> gnurobots

[Karl Berry]

The (gnu)robots project is now unmaintained (I just heard from the
developer).

Before I start advertising for a new maintainer ... in savannah, it is
named "robots", but it is named "gnurobots" on ftp.gnu.org and in the
Free Software Directory.  There are no mailing lists that I can see.  So
can we rename it to gnurobots in savannah too, for consistency?

Thanks,
Karl