add option to mongo_stats.py to output json