build-deps: really install and use opam-depext
Not perfect as you can read in the comment but urgent (and to be back ported):
While installing on a fresh machine, users had to guess from nowhere that a sudo apt install libhidapi-dev pkg-config libgmp-dev ...
is mandatory !