Better repo declaration (as builds are done on different Jenkins slaves)
Fix compilation error
Fix #159: allow to filter out dependencies
Merge branch 'feature-#159-exclude-jars' into develop