Use kontrol-demo to rephrase the Kontrol Example section.

[Stevengre]

There are some repos for introducing how to use Kontrol:

• https://github.com/runtimeverification/kontrol-demo
• https://github.com/runtimeverification/kontrol-dss-2024

Could we use these repos to provide a more comprehensive description for Kontrol's functionalities?