Added unsat-core option in sat_solve
Cleaned up a bit soler_types and added some doc