Modified collect-pvs-file-decls-info to take a flag for generating JSON
t if for emacs, nil if for json-rpc (otherwise it gets done twice).