Update coveralls-to-github.php