Do not consider unknown attributes when comparing types for equality

Closes #1396

See merge request frama-c/frama-c!4805

also add `@since` and `@before` odoc tags

[wp] Why3 importer

Closes #978 and #1262

See merge request frama-c/frama-c!4658

Add a module in libraries/utils for Result monadic operators

See merge request frama-c/frama-c!4595

- also fix compilation of imported fun calls
- also fix Why3 path wrt to -wp-library

Kilyan Le Gallic authored 7 months ago and Allan Blanchard committed 5 months ago

[wp] Added theory abstraction for use on call of external theories, fixed typo in debug log, augmented pattern matching for whyml props and uses (expected handling yet to be found)