This PR adds a Makefile with the calls to ormolu to check the code formatting and to actually format the code.
Makefile
ormolu
@BinderDavid do you think it would be possible to add a step to the CI pipeline to call make format-check?
make format-check