Updates to Kontrol Documentation

[ehildenb]

Pulled partially from: #977

• How to use kontrol prove ... --lemmas LEMMAS-FILE:LEMMAS-MODULE (renamed from --extra-module).
• How to know when to rekompile or not (currently we recommend to rekompile when solidity code changes: Do not rekompile on Solidity code changes #1007 (comment)).
• Command kontrol solc-to-k does not exist anymore, but is in the Kontrol Arguments sheet: https://docs.runtimeverification.com/kontrol/glossary/kontrol-arguments
• Command kontrol compile may not exist anymore, given: Refactors to simplify import structure #1019
• Command kontrol to-dot may not exist anymore, given: Refactors to simplify import structure #1019
• How --run-constructor is used: Document overflow and constructor Kontrol gotchas gitbook-kontrol#31