Improve documentation

[mcopik]

As pointed out by @julifan, our documentation is not sufficient and we should use the existing resources from our Zenodo artifact.

What we're still missing:

• [ ] Docker
• [ ] C++ API
• [x] Limitations of our tool
• [ ] MPI
• [ ] OpenMP
• [ ] Benchmarks
• [ ] Design
• [ ] Extra-P