made PicklableShelve store filename as SourceFileName
made PicklableShelve store filename as SourceFileName

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