update script that pushes coverage to github pages