scripts/dump-guest-memory.py: add vmcoreinfo