Option to remove original exec files during build

The matching exec files found during a build will be copied to the build job directory and accessible in the coverage report.

An option to remove the original files after they have been copied is good to save some disk space, if the exec file(s) are big.

The option for doing this is implemented in:

https://github.com/jenkinsci/jacoco-plugin/pull/95