Release v2.4.0

This version is based on Valgrind-3.20.0.

### Added
	- Add new rounding mode [random,average]_[det|comdet]
	- Add --enable-verrou-check-naninf in configure
	- Add post_verrou_dd for verrou_dd_line post-treatment
	- Add option --warn-unknown-source (used by default in verrou_dd_line)
	- Add --vr-instr-[flt|dbl|llo|vec[2,4,8]] options
        - Add option --check-max-float
	- Add a valgrind error for +/-inf detection
	- Add a Dockerfile
	- Add option --rddmin-heuristics-line-conv to verrou_dd_*
	- [EXPERIMENTAL] Add new rounding mode prandom

### Changed
	- Use by default xo(ro)shiro prng
	- Test switch between rounding mode is done during instrumentation (instead of each fp operation)
	- Demangle C++ name in verrou_dd_[sym,line] stdout
	- Bug fix: Do not generate VR_ERROR_UNCOUNTED error if the op is not perturbated
	- Filter the low number of samples for srddmin : never below the number of threads and never below a param which depends of an estimated failure probability.
	- plotStat become verrou_plot_stat and can use multiple threads
	- Cast and FMA are now considered as unknown vectorized type.
	- Migration from travis to github action
	- The option --vr-instr (and VERROU_INSTR env variable) accepts multiple args (separated by ,)
	- Add flags in BB coverage for BB with modified fp operation (F) and one for cmpFloat (?)
	- Bug fix : --gen-exclude take into account --exclude
	- The configure flag --enable-verrou-fma set by default

Author: lathuili

CHANGELOG.md

@@ -1,6 +1,6 @@
 # Change Log
 
-## [UNRELEASED]
+## v2.4.0 - 2022-12-15
 
 This version is based on Valgrind-3.20.0.
 

README.md

@@ -25,13 +25,19 @@ are likely to be responsible for Floating-Point-related instabilities.
 The documentation for Verrou is available as a dedicated [chapter in the
 Valgrind manual](http://edf-hpc.github.io/verrou/vr-manual.html).
 
+**NB:** This is released version 2.4.0 of Verrou, based on Valgrind
+ v3.20.0. The development version of Verrou can always be found in
+ the [`master`](https://github.com/edf-hpc/verrou/) branch. For other versions,
+ please consult the list
+ of [releases](https://github.com/edf-hpc/verrou/releases).
+
 
 ## Installation
 
 ### Get the sources
 
 The preferred way to get Verrou sources is to download the latest *stable*
-version: [v2.2.0](https://github.com/edf-hpc/verrou/releases/latest).
+version: [v2.4.0](https://github.com/edf-hpc/verrou/releases/latest).
 Older versions are available in the [releases](https://github.com/edf-hpc/verrou/releases)
 page. After downloading one of the released versions, skip to the "Configure
 and build" section below.

valgrind.diff

@@ -51,7 +51,7 @@ index b86e80220..f67bafdf1 100755
  m4_define([v_minor_ver], [20])
  m4_define([v_micro_ver], [0])
 -m4_define([v_suffix_ver], [])
-+m4_define([v_suffix_ver], [+verrou-dev])
++m4_define([v_suffix_ver], [+verrou-2.4.0])
  m4_define([v_rel_date], ["24 Oct 2022"])
  m4_define([v_version],
  	  m4_if(v_suffix_ver, [],