Ginsim

* 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

biolqm` module:
* new `influence_graph()` method for extracting the influence graph
* new `autolayout()` method for computing a layout for the influence graph
* `to_ginsim()` calls `autolayout()` if option `ensure_layout` is `True` (default) and no layout is already attached
See https://gist.github.com/pauleve/0bea6fd14e741c4795ef3fda2c13c245 for examples of usage

`ginsim` module:
* expose Style API for