Script for building the CHERI SDK