Merge pull request #4 from informalsystems/erick/mv_readme

Move README.md to connect/README.md

Author: erickpintor

README.md

@@ -0,0 +1 @@
+connect/README.md

README.md

@@ -1,6 +1,6 @@
 [package]
 name   = "quint-connect"
-readme = "../README.md"
+readme = "README.md"
 description = "A model-based testing framework that connects Quint specifications with Rust applications"
 
 version       = { workspace = true }