Otherwise Makefile.installing won't work out of the box

Upgrade CI

See merge request frama-c/meta!73

Was actually fixed upstream in commit [30a695e821ca30819](https://github.com/wookey-project/bootloader/commit/30a695e821ca308197d8039bd0975a165b03bb5e)

This looks more like analysis.mk does, and the intermediate file
(as opposed to the intermediate Frama-C state) does not retain the
status of deduced properties

[ptests] requires dune 3.2

See merge request frama-c/meta!74

normalize Makefile

See merge request frama-c/meta!72

[tests] access to the local cache wp

Closes #9

See merge request frama-c/meta!71

[wp] updated oracles

See merge request frama-c/meta!70

Use Dune for building MetAcsl

See merge request frama-c/meta!59

Extend plugins CI capabilities

See merge request frama-c/meta!69

as mentioned by kit-ty-kate on github, if we are to launch autoonf, we should depend on conf-autoconf

- Refer to the existing opam package
- Indicates optional dependencies for deduction