Clearly fail if proof cannot be delivered

[pimotte]

If a proof request cannot be fulfilled, currently Quindy yields a NullPointerException, because the credential for a particular attribute/predicate is not present. Instead, this should yield a clear Exception that describes this case.