Save proofs even when successful

[ttuegel]

--save-proofs should save the trusted claims even when the specification is successfully proved.

[ttuegel]

In proveClaims, we only return the claims that were proven if some of the claims fail. We should return the proven claims also when they are all proven.