Upgrade to flocq 2.4.0

* Upgraded to flocq 2.4.0
* Removed from Fappli_IEEE_extra the definition of Bcompare and Babs, that have been integrated into flocq