Ginsim

What's Changed
* Fix conversion to pyboolnet primes by vincent-noel in https://github.com/GINsim/GINsim-python/pull/21


**Full Changelog**: https://github.com/GINsim/GINsim-python/compare/v0.4.4...v0.4.5

* fix installation of `ginsim_setup` module
* fix setup of PATH

* convert to pyboolnet
* convert to booleannet
* fix NuSMV export

Improve ginsim.show:
* use SVG instead of PNG (much faster)
* add parameters to scale and save the image directly

* `to_minibn`: add `ensure_boolean` parameter to enforce Boolean conversion for multivalued models
* fix missing import in `ginsim` module

biolqm`:
* `to_minibn`: simplify by default

`ginsim`:
* add `to_minibn` function