added jenkins after_script to push coverage report