[Doc] update examples in devman to use dune

doc/developer/.gitignore

doc/developer/Makefile

doc/developer/advance.tex

doc/developer/examples/acsl_extension_ext_types/Example.ml

...ples/acsl_extension_ext_types/acsl_extension_ext_types.ml

...les/acsl_extension_ext_types/acsl_extension_ext_types.png

doc/developer/examples/acsl_extension_ext_types/dune

doc/developer/examples/acsl_extension_ext_types/dune-project

...les/acsl_extension_ext_types/tests/example/ext_type_foo.c

...on_ext_types/tests/example/oracle/ext_type_foo.res.oracle

...per/examples/acsl_extension_ext_types/tests/ptests_config

...loper/examples/acsl_extension_ext_types/tests/test_config

doc/developer/examples/acsl_extension_foo/Example.ml

...veloper/examples/acsl_extension_foo/acsl_extension_foo.ml

doc/developer/examples/acsl_extension_foo/dune

doc/developer/examples/acsl_extension_foo/dune-project

...developer/examples/acsl_extension_foo/tests/example/foo.c

...es/acsl_extension_foo/tests/example/oracle/foo.res.oracle

...developer/examples/acsl_extension_foo/tests/ptests_config

doc/developer/examples/acsl_extension_foo/tests/test_config