libvmi.h: expose vmi_pagetable_lookup() publicly, as it is occasionally useful to call it directly