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.