Prepare AWS initial application

[jberthold]

The following repo fork needs to be populated with information about kmir or koat and a handful of example proofs from stdlib.

https://github.com/runtimeverification/verify-rust-std/

To start with, a tool description here is required. Then a CI workflow to demo the tool needs to be set up.
Example of a workflow from a submission

model-checking/verify-rust-std#213

For context:
https://model-checking.github.io/verify-rust-std/challenges.html

[gtrepta]

https://model-checking.github.io/verify-rust-std/intro.html

[jberthold]

@dkcumming created a branch application on our fork https://github.com/runtimeverification/verify-rust-std/ with an introductory text describing kmir and our current status.
@gregorymakodzeba added some links and short information about K-related tools
@ACassimiro prepared a collection of claim files to include in our application information.

[jberthold]

Application issue : model-checking/verify-rust-std#296