Prepare for new release#421

jprendes wants to merge 2 commits intohyperlight-dev:mainhyperlight-dev/hyperlight-wasm:mainfrom

jprendes:prep-0.13-releasejprendes/hyperlight-wasm:prep-0.13-releaseCopy head branch name to clipboard