Merge branch 'master' of gitlab.inria.fr:srokicki/Comet

Merging changes to header styles
5 jobs for master in 16 minutes and 31 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #942220
cbuild

00:00:36

 
  Test
passed #942222
test:applications

00:00:08

passed #942221
test:atomic

00:00:03

 
  Hls
passed #942223
catapult_ASIC

00:07:48

passed #942224
catapult_Xilinx

00:07:55