If we are going to reactivate Rubocop (#564), it would also be nice to have some kind of code formatter / linter for the C code.
