dump.py: Added verbose option (-V|--verbose)