[release] update version to 1.0.1

[fantazio]

Ready for release : opam install . works as expected.
Upon approval of this PR, I'll publish the package on opam.

This release includes:

• Improve docs and gitignore #26
• Stop relying on the cmti paths to find the corresponding source files #27
• Reduce the volume of expected reports files and simplify their maintenance #29
• Usage documentation #30
• Add tests for dune wrapped libraries #31
• Fix unified results' failed count #32
• Add support for for dune wrapped libraries #33
• A bundle of minor improvements #34
• Fix robustness against location collisions for opt args reports #37
• Add support for preprocessed files #41

It improves:

• the user documentation (#26, #30, and #34)
• the support of projects built with dune (#27, #31, #33, and #41). This was motivated by and lead to effectively using the dead_code_analyzer on Frama-C (#23)
• the test suite (#29, #31, #32, #34, and #37)

[fantazio]

I think the new version could be 1.1.0 (a minor instead of a patch), given the number of PRs and the significant improvement of the support of projects built with dune