Add a --solver-seed option

[ozgurakgun]

Conjure (through SR) supports several backend solvers. These solvers have very creative ways of accepting a seed from the command line. conjure-solve should gain a new option and create the appropriate arguments for the selected solver.