Function write 

pub fn write(out_dir: &Path, verbose: bool) -> Result<()>

After robonix_contracts.proto is written, emit sibling contract_proto_modules.rs.