Adapt to Vitruv-Change cleanup

[JanWittler]

Adapts the framework to the interface changes introduced in vitruv-tools/Vitruv-Change#46 and rewrites the affected classes in Java.

As the Java rewrite makes the differences hard to identify, the following changed:

• Create a local change propagator instance in VirtualModelImpl#propagateChange instead of having one global
  • To support this, the following three instance attributes were added:

private final ChangePropagationSpecificationProvider changePropagationSpecificationProvider;
private final InternalUserInteractor userInteractor;
private ChangePropagationMode changePropagationMode = ChangePropagationMode.TRANSITIVE_CYCLIC;