Gurobi solver instances can now be pickled.
Some cleanup of unecessary imports.
Merge branch 'pickle_solver' of github.com:cdanielmachado/framed into pickle_solver

Conflicts:
	src/framed/solvers/gurobi_wrapper.py