cap-tee/cheri-docs

Getting started guides for CHERI and the like