Fix conversion to pyboolnet primes

[vincent-noel]

I was updating an old notebook, and found out this was not working anymore. I couldn't find a way to use import_colomoto_tool (although maybe I didn't try enough), but at least it's working.

[pauleve]

Thanks!