Merge pull request #7 from nachtgold/master

prevent IOException: Unable to delete file
Solving bug #6; Fixing instructions propagation; Adding dependencies exclusion; Unifying config options; Adding integration tests layer; Coding 16 integration tests;
Adding and updating the example projects
Adding examples run.sh script
Update of the manual
Adding three extensive integration tests of the configuration;
Clearing manifest of the bundle in case of override
merge
Fixing the doc format on github
Fixing the doc format on github
Fixing the doc format on github
Fixing the jenkins build and the clover config for the instrument-plugin
Fixing the jenkins build and the clover config for the instrument-plugin