Add --coverage-file option
add copyright
add javadoc
fix redundant
Merge pull request #1253 from kframework/coverage

Add --coverage-file option