Add --coverage-file option

Jenkins: test
same as above; also add some javadoc