mix test --cover: total is less than the mathematical average

The basic cover tool is (for us) quite inconsistent, a fact that is amplified by the lack of documentation on what metrics the tool uses (iirc, it only counts lines, but I have a few threads here talking about that).

We ended up moving to excoveralls which I strongly recommend if you want something more reliable.