[eacsl] Move the check and initialization of options in a dedicated function

src/plugins/e-acsl/src/main.ml

src/plugins/e-acsl/src/options.ml

src/plugins/e-acsl/src/options.mli

src/plugins/e-acsl/src/project_initializer/rtl.ml