Integrate code coverage with Makefile targets, nightly CI, and Codecov#1258

Copilot wants to merge 2 commits intodevelopo1-labs/mina-rust:developfrom

copilot/fix-1197o1-labs/mina-rust:copilot/fix-1197Copy head branch name to clipboard