Foundry-demo repo

[reekamaharaj]

Update Foundry-demo repo

• [ ] Add a link to https://docs.runtimeverification.com/kontrol/
• [ ] Mention that updated documentation for kontrol can be found on the docs.
• [ ] Update Foundry demo readme

@JuanCoRo As discussed in the Documentation meeting 10/3/23