Merge branch 'feature/kostyantyn/devel-tools' into 'master'

Benchmarking tools

- Re-designed fc-time utility back from frama-c. The tool has been redesigned to include the functionality to gather memory consumption statistics.
- Plotting utility for generating line plots

This MR is as per frama-c/frama-c!843



See merge request !48