[libvirt] [PATCH 3/3 v4] virsh: allow the user to specify vmcore's format