also, use (back) the odoc make rule now the image has been updated

- do not hard-code the size of the graph in the ml files
- do not print the whole state of big graphs. Indeed, for graphs of
  10000 nodes, if we print the path (which is itself an array of size 10000)
  we obtain 100 000 000 variables, which is too much for the rif file.

as it is where they belong.

Its basename is the basename of the name of the .dot file.

Also provide a =--gen-register= option generates such a registring ml
file. --gen-register also generate a state.ml skeleton file.

The Makefile test/Makefile.inc also suppose that the types of the state
is defined in state.ml

To do that, I've reorganized the code

Test: with ocaml 4.08, it is impossible to load the same function twice.
Hence the need to define p.mli files for graphs with several nodes.

Also, track missing files and the alea-coloring exemples.

- the move_count node was wrong (missing parenthesis)
- the lemma an the theorem only holds for locally central unfait demon

All the get_* functions (that are of no interest for users) are now in
the Register module.

Things that are currently broken:
- the ability to init vars in the dot
- controling the name of local vars in the rif output

The rationale is that
 - it is not always the cmxs that is necessary .e.g., rdbg uses .cma or .ml
 - it makes more sense to refer to the source code

This can be used from rdbg from example, to generate session files.

In particular, 'rdbg -lurette' now works thanls to this option
(cf rdbg sha 63566a893807361691137cafe15854a2a7395eec)

Remove the --generate-rdbg-load one that is less general

Depending on the kind of network, we should raise an exception. Indeed
such information should not be available in anonymous networks.

We will add such checks later.

with
- a git 1.0.0 tag
- a GITLAB_AUTH_TOKEN set in the CI/CD settings

In conjunction with -rif, that change makes it possible to use sasa with lurette!

todo: where several actions are enabled in a process, one is chosen at random
at the sasa level (whereas it should be possible at the lutin level).

Also add the list of neighbors to the init function. The rationale is that
to give a sensible initial value to local vars of type 'Neighbor', we need
the neighbors number.

I could have chosen to pass an integer only. Well, who can the plus
can the minus.