Move all the contributing stuff in the readme to a new file, to keep the README more user focused Raises in https://github.com/egraphs-good/egglog/pull/919
Move all the contributing stuff in the readme to a new file, to keep the README more user focused
Raises in #919