like openvm, we add commands like ``` cargo ceno build cargo ceno keygen cargo ceno run cargo ceno prove cargo ceno verify ```