[Heimdal-source-changes] [heimdal/heimdal] 98aedd: Improve coverage script a bit

[Nico Williams]

  Branch: refs/heads/coverals.io
  Home:   https://github.com/heimdal/heimdal
  Commit: 98aedd2684c06ce927309348275c41c02c73b7b0
      https://github.com/heimdal/heimdal/commit/98aedd2684c06ce927309348275c41c02c73b7b0
  Author: Nicolas Williams <nico at twosigma.com>
  Date:   2020-04-15 (Wed, 15 Apr 2020)

  Changed paths:
    M .travis.yml
    M tools/coveralls-tool

  Log Message:
  -----------
  Improve coverage script a bit