Pretty print JSON output.

static/prettyprint.py

@@ -0,0 +1,9 @@
+#!/usr/bin/python2.7
+
+import json
+import sys
+
+json.dump(
+    json.load(sys.stdin), sys.stdout,
+    sort_keys=True, indent=4, separators=(',', ': '))
+print

static/verify.sh

@@ -11,7 +11,6 @@ curl \
   --data externs_url=https://www.cosmopolite.org/externs/cosmopolite.js \
   --data externs_url=http://www.google.com/uds/modules/gviz/gviz-api.js \
   --data-urlencode "js_code@babystats.js" \
-  http://closure-compiler.appspot.com/compile
+  http://closure-compiler.appspot.com/compile | ./prettyprint.py
-echo
 
 gjslint --strict babystats.js