Rename Minisat namespace into Glucose.
Rename aspino::Solver as aspino::AbstractSolver.
Remove gflags.
Add EnumOption to glucose (also fix a bug with BoolOption).