CHERI: Update third-party code for CHERI/Arm's Morello
Note that I've also sent the jsoncpp change upstream as https://github.com/open-source-parsers/jsoncpp/pull/1378
Edited by Brad King
Note that I've also sent the jsoncpp change upstream as https://github.com/open-source-parsers/jsoncpp/pull/1378