python: add mongodump.py example.