Beautify conversion cliques->coalitions
The code converting maximal cliques to coalitions of CL is now much morereadable.
Do not throw all CL coalitions in one bset
As ocaml is not purely functional, the following code snippets havedifferent semantics:
List.map (List.fold_left tmpf (bsetMakeRealEmpty ())) (List.map S.elements intlist)
List.map (fun x -> List.fold_left tmpf (bsetMakeRealEmpty ()) x)...
Add some debug output (in comments)
Add coalition list printing
Separate cool into library and coalg frontend