fix: simplify rocq rules to work without toolchain#13

avrabe merged 1 commit intomainpulseengine/rules_rocq_rust:mainfrom

fix/rocq-rule-toolchainpulseengine/rules_rocq_rust:fix/rocq-rule-toolchainCopy head branch name to clipboard