[eacsl] Move `Error.or_error` to a separate `error_types.mli` file

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/headers/header_spec.txt

src/plugins/e-acsl/src/analyses/bound_variables.ml

src/plugins/e-acsl/src/analyses/bound_variables.mli

src/plugins/e-acsl/src/analyses/typing.ml

src/plugins/e-acsl/src/libraries/error.ml

src/plugins/e-acsl/src/libraries/error.mli

src/plugins/e-acsl/src/libraries/error_types.mli