Add CONTRIBUTING.md and doc/AIToolPolicy.md#43

apoelstra merged 1 commit intoBlockstreamResearch:masterBlockstreamResearch/hal-simplicity:masterfrom

schoen:contributingschoen/hal-simplicity:contributingCopy head branch name to clipboard