added withIndex option to ResourceFinder.newServer(), for local registration of index data, to make a static, read-only index server suitable for external (internet) environment.
added withIndex option to ResourceFinder.newServer(), for local registration of
index data, to make a static, read-only index server suitable for external
(internet) environment.

cjlee112/pygr,theoryno3/pygr,GenDataPro/pygr,ctb/pygr,theoryno3/pygr,ctb/pygr,RitwikGupta/pygr,GenDataPro/pygr,ctb/pygr,theoryno3/pygr,RitwikGupta/pygr,cjlee112/pygr,ctb/pygr,GenDataPro/pygr,ctb/pygr,cjlee112/pygr,cjlee112/pygr,RitwikGupta/pygr