added a script for generating a JSON version of a source text, so that source files can be served statically but a little more efficiently.