zipextract.py, added --list option