Mention Kontrol GitHub action in the docs #46
Description
We have a new github action for installing Kontrol for use on CI workflow: https://github.com/runtimeverification/install-kontrol. We should add it to the documentation (and, perhaps, Kontrol repo's README) too.