docs: mention CI in the contribution guide#97

lovasoa merged 2 commits intomainrust-or/good_lp:mainfrom

ci-for-new-solversrust-or/good_lp:ci-for-new-solversCopy head branch name to clipboard