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

Add --coverage-file option
draft of work on disjunctions
fix copyright
Merge pull request #1262 from dwightguth/disjunction

draft of work on disjunctions