[Dive] Generate nodes from alarms

src/plugins/dive/build.ml

src/plugins/dive/build.mli

src/plugins/dive/graph_types.mli

src/plugins/dive/imprecision_graph.ml

src/plugins/dive/imprecision_graph.mli

src/plugins/dive/main.ml

src/plugins/dive/node_kind.ml

src/plugins/dive/self.ml

src/plugins/dive/self.mli

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

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

src/plugins/dive/tests/dive/various.i