Add tasks to format the code and to check its formatting.

Also fix the formatting of some files, and check that code coverage is good during continuous integration tests.
3 jobs for add-tasks-to-check-and-format-code in 6 minutes and 20 seconds (queued for 2 seconds)