changed tycho to version 0.20.0
commented out source plugin generation from build since we got no
sources from kiama and scala currently
Merge branch 'develop'

Conflicts:
	eclipse/org.dresdenocl.build.master/pom.xml