[worthwhile] Add src-gen/ to sources in build.properties
[worthwhile] Add src-gen/ to sources in build.properties

This fixes unresolved import edu.kit.iti.formal.pse.worthwhile.typesys.

team-worthwhile/worthwhile,team-worthwhile/worthwhile