Add a man page for cheri_invoke() -- which won't generally be used directly,
but is useful to document.