Extend libcheri to support the kernel's ps_strings-based sandbox statistics
model: export tables of information about sandbox classes, methods, and
objects.  Publicise registered sandboxes using the scheme, and update
counters for invoke and sandbox fault.  Much to be tidied up and sorted out
here, but this is close to sufficient for a demo, and very useful for
analysing and debugging sandbox behaviour.