Add opam pins to the Makefile, mention git submodules to build

[sabine]

Adds the opam pins from the Dockerfile to the Makefile, remind to check out git submodules before building locally.

[TheLortex]

Thank you !