[Dive] Very basic testing

src/plugins/dive/main.ml

src/plugins/dive/self.ml

src/plugins/dive/self.mli

src/plugins/dive/tests/dive/assigned_param.i

src/plugins/dive/tests/dive/const.i

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

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

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

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

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

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

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

src/plugins/dive/tests/test_config