Pretty print docs.json & co.

Will make it so that the git diffs are actually helpful for these
files, to see what docs changed, instead of having them all on one
line.
Merge pull request #250 from jhgg/master

Pretty print docs.json & co.