Expose vmi_read in libvmi.h

This seems to have been left out of the previous PR.