Improve Installation Instructions: Clone with Submodules

We've noticed some users are running into issues when the repo isn't cloned with all the submodules. We should update the installation instructions to include cloning with submodules:

```
git clone --recurse-submodules git@github.com:runtimeverification/mx-semantics.git
```