Merge branch 'fix/blanchard/opam/ocamlgraph-tests' into 'master'

nix/ocamlgraph.nix

nix/pkgs.nix

opam

reference-configuration.md

src/plugins/dive/tests/dive/oracle/assigned_param.dot

src/plugins/dive/tests/dive/oracle/callstack_global.dot

src/plugins/dive/tests/dive/oracle/callstack_strategy.dot

src/plugins/dive/tests/dive/oracle/const.dot

src/plugins/dive/tests/dive/oracle/exceptional.dot

src/plugins/dive/tests/dive/oracle/global.dot

src/plugins/dive/tests/dive/oracle/manydeps.dot

src/plugins/dive/tests/dive/oracle/per_callstack.dot

src/plugins/dive/tests/dive/oracle/pointed_param.dot

src/plugins/dive/tests/dive/oracle/pointers_to_local.dot

src/plugins/dive/tests/dive/oracle/ranges.dot

src/plugins/dive/tests/dive/oracle/unfocused_callers.dot

src/plugins/dive/tests/dive/oracle/various.dot

tests/misc/oracle/interpreted_automata_dataflow_backward.dot

tests/misc/oracle/interpreted_automata_dataflow_forward.dot

tests/pdg/oracle/call.f.dot