add --runFile option to coverage_summary [ci skip]