Improve Codecov settings

[Vampire]

• Fail the CI build if the Codecov uploading failed.
• Show more detailed information in the Codecov comment.
• Do not update the Codecov comment 13 times, but post it after all 14 reports were uploaded.
• Ignore dates in coverage reports to not get "upload expired" because the report was taken from remote build cache.

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 81.86%. Comparing base (2c7db77) to head (b754360). Report is 107 commits behind head on master.

Additional details and impacted files

@@             Coverage Diff              @@
##             master    #1629      +/-   ##
============================================
+ Coverage     80.44%   81.86%   +1.41%     
- Complexity     4337     4575     +238     
============================================
  Files           441      446       +5     
  Lines         13534    14342     +808     
  Branches       1707     1814     +107     
============================================
+ Hits          10888    11741     +853     
+ Misses         2008     1935      -73     
- Partials        638      666      +28     

see 20 files with indirect coverage changes

[Vampire]

We should really get to this. Codecov integration is broken since 26.02., it just is silently ignored.