Add --coverage-file option

Jenkins: test
Rename ```subject``` to ```term``` or something else. Subject is only meaningful in the context of rewriting.