Fix coverage calling during Travis-CI and change badge to SVG