libvmi.h: expose vmi_pagetable_lookup() publicly

This PR exposes vmi_pagetable_lookup() in the public header. It can be useful in some situations (e.g. task_struct->mm->pgd for comparison to CR3).