## Description There are a few tools that we need to be able to run this repo, such as opam, dune, make, etc... We must add a topic related to it and other requirements to the readme.