ASEO for ADs, non-stratified and credal

[RenatoGeh]

Approximate inference through Answer Set Enumeration by Optimality (ASEO) is currently only implemented for probabilistic facts in stratified programs under the maxent semantics.

Adding support for annotated disjunctions (ADs), non-stratified programs and the credal semantics should not be too hard.