This PR formats all code with dart format and adds a step to the CI so that it will be checked on every push and PR.