Fix by Simon de Givry for linear encoding of modulus by constant.

Also unittests for the bug.
Allow -encoding param in fzn2py translated file.
Disable Toulbar2 -btd 3 in njportfolio.py for now.
Check if some of the solvers are available before being added to njportfolio's options.