Gnocatan has been renamed upstream to Pioneers.  The Debian package names have
also changed.  The gnocatan-* packages are now empty, and force installation of the respective pioneers-* packages to help with a smooth transition.
