libvmi.h: expose vmi_pagetable_lookup() publicly