Mpbn

- embed `minibn.BooleanNetwork` DNF simplification
- add `mpbn {file} fixedpoints` cli command

* add `fixedpoints` method to list fixed points and reachable fixed points
* use `--single-shot` method for improved performance with clingo ≥ 5.5

* `MostPermissiveDynamics`: allow using the `loops` option

* add `has_cyclic_attractor()` method
* disable some clingo warnings
* rename `MostPermissiveUpdateModeDynamics` to `MostPermissiveDynamics`

* add `dynamics` method for computing state transition graph using the MP semantics

* fix bug with reachability when target configuration is partially specified