update COMPILING with correct command to add our opam-repository