Mpbn

- use `pyeda` for performing the simplification/DNF transformation (substantial speed up for model loading)

- increase recursion limit to handle larger BDD for non-monotone functions

mpbn` now supports non-monotone functions by means of BDD encoding.

This release merge the simulation algorithms from the paper [Variable-Depth Simulation of Most Permissive Boolean Networks](https://hal.archives-ouvertes.fr/hal-03704761/file/cmsb22.pdf) by Roncalli et al. (2022).
See https://nbviewer.org/github/bnediction/mpbn/blob/master/examples/Simulation.ipynb

- 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