Building CHERI SDK with the original build_sdk.sh script
Added GNU Assembler to list of CHERI SDK tools
Adjusted the compile.sh script to new CHERI SDK location
Added Valgrind to the manifest