If you need to use a raster PNG badge, change the '.svg' to '.png' in the link
Travis: check that the exported symbols conform to what is expected
This is to help checking that we do not introduce un-intended API/ABI breakage.
Not fully bullet proof, but a start.
relevant lines covered
hits per line