v0.12 heavy bugfixing in Dresden-code

now contains a some patched classes from ocllib
allowing size(),.. to be called as features on collection-classes.
The following constraint for example is now working:
@Constraint("post: assertedMethod.getBody().statements().size>assertedMethod@pre.getBody().statements().size";)

Also checks on return-values work again.
POST and INV are again checked for void-methods.
no iterator is created for non-collections in ocl-normalization.