1. fix number -> string problem (3710) in index.extra.json/index.json. 2. get-source-pdf.ls. currently put in source-pdf. 3. add some util functions (getUriList, nonRepeatedList, debug, hashToList, hashKeyToList, listToHash)