Build c guests as required by benchmarks#822

ludfjig merged 1 commit intohyperlight-dev:mainhyperlight-dev/hyperlight:mainfrom

ludfjig:build_guest_stepludfjig/hyperlight:build_guest_stepCopy head branch name to clipboard