Move CHERI instruction formats to a separate file.
Simplify the formats (we suffer from a serious proliferation problem when it comes to capability instruction encodings).
Fix the encoding of CSetCause (which uses a different format to CGetCause, for no sensible reason)