[eacsl] Only catch E-ACSL exceptions in `Error.generic_handle`

The exceptions coming from the kernel or OCaml fall through so that they
are catched and processed by the Frama-C plug-in system.

A new function `Error.print_not_yet` is added so that `Contract` can
print the "not yet" message without raising an exception and
interrupting its processing.