Accept aspcud unsat success

This is experimental, waiting for insight on the possible consequences from the aspcud team.
Without it, the new opam-rt fail (with an ugly error) when aspcud is used.