DOC: Elaborate docstr of jtlv.generate_JTLV_SMV
Support integer range variable domains for JTLV solver

In addition, create_machine_ports() has been moved to transys.machines
Previously it was a hidden function (with prefix "_") in
interfaces.gr1c, but it has since become useful in interfaces.jtlv