Mention contributing guidelines in the docs #50
Description
We should point potential contributors to https://github.com/runtimeverification/kontrol/blob/master/CONTRIBUTING.md.
{{ message }}
We should point potential contributors to https://github.com/runtimeverification/kontrol/blob/master/CONTRIBUTING.md.