Add some CheriBSD specific content and direct potential users to our
technical reports for more information.