specmip initialization of smart solver in conf
Allow the configuration of the initial seed given to the SmartAdimSolver.
The specmicp executable now uses this advanced solved to allow this initialization.