create an empty jacoco.exec file by default
create an empty jacoco.exec file by default

This ensures report generation even if no tests are available.
We definitely want to catch these cases because no coverage is
even worse than low coverage.

LearnLib/learnlib,LearnLib/learnlib,LearnLib/learnlib