TOOLS-89: Add option to mongoexport to render pretty json

The current mongoexport tool dumps json to a single line. This code adds
parameter "/pretty" that allows to to pretty-print the json output.