[eacsl] Replace `Result.t` with `Error.result`

The stdlib of Ocaml already defines a `Result` module. The `Result`
module of E-ACSL was masking this module and would cause problems in
some cases.

The result type has been moved to `Error.result` and is now implemented
with the `Result` module of Ocaml.