How can I dump an entire mongodb database (as starkly opposed to an individual collection) to a single file in a "pretty" and diffable format, so