added Dresden OCL SEPA Example

This are rather complex constraints adopted in a case study. They are shipped with Dresden OCL under the LGPL v3.

Tell me if I should change the folder name "DresdenOCL-SEPA-Example" to something else.