[cli] uncaught exceptions

Some exceptions shall deserve a dedicated handling, namely syntax and type-check errors:

$ why3find …
Uncaught Exception (File "foo.mlw", line 47, characters 24-48:
This expression has type int -> bool,
but is expected to have type int)