solvers no longer uses external parameters

Instead of importing parameters from an external parameters module, each
solver defines its own parameters. The following solvers were updated:
 - glpk
 - gurobi
 - cplex
Additionally, the parameter handling code was simplified,
making it more readable and easier to debug.