Making the solver parametric

[jkhamphousone]

As mentioned here, we should make the Solver parametric instead of Gurobi dependant.

[jkhamphousone]

I wonder if solving this issue would make #4 unnecessary.

[jkhamphousone]

Closed by Commit [39f34e5]
The solver is now Optimizer-parametric