Add -m option to dump.py.