Ignore coverage files

To help out with working on #9493