add_diffcoverage_plugin: adding settings and stuff