Doc: simplify and update instructions to add/update dependencies
The opam-repo handling can be simplified by using a single opam-repo rather than forks. This MR updates the documentation to recommend the simpler workflow.
In addition, the MR updates the documentation to mention the manifest
.