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.