DOC: Update URL read by distutils
Extend option for GridWorld.dumpsubworld,isEmpty() for non-wrapping indexing