This relaxes some of the rules introduced in the previous commit. To simplify testing, building and formatting locally and on CI, we also introduce a dedicated makefile
