Feature/fp check

See merge request bobot/colibrics!12

Improve doc, a simplify daemons

See merge request bobot/colibrics!13

  not really used and deprecation warning

      Egraph.Ro.t is Egraph.rt and  Egraph.t is Egraph.wt

Use more first class function for attaching event. The second part scheduled
keep the Dem.t type.

[CI] Fix static compilation

See merge request bobot/colibrics!11

     So this one must be generated static

Feature/fp

See merge request bobot/colibrics!10

git-subtree-dir: farith
git-subtree-mainline: 2e389929
git-subtree-split: f7659f5f