Add --coverage-file option

Jenkins: test