it seems like part of the issue lies in the fact that the cache might be looked
at from different cwd. Anyways, proposing an absolute location can't hurt.

When loading some state, it may happen that some annotations are found to have
been emitted by emitters that are no longer usable. This commit let the kernel
adopt them, keeping them available as was the case before refactoring
`Annotations.code_annot` to use `Annotations.code_annot_emitter`.

code duplication started to become a bit problematic

All loop assigns corresponding to a given set of behaviors are now merged
together instead of being split into emitters. This is the same as what is done
for statement contracts and will make it much easier for callers to identify
appropriate loop assigns

[ivette] Property table: adds better tooltips to property and alarm kinds

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

[Kernel] projectify option -add-symbolic-path

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

[Filepath] remove './' when using symbolic paths

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

Also uses kind names as labels.

[Wp] Fixes a crash in the GUI.

Closes #889

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

[ivette] sidebar list of functions

Closes #863

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