Add --coverage-file option

Jenkins: test
rename ```stringOf``` to something more specific