Adapt to Vitruv-Change cleanup

[JanWittler]

Adapts the framework to the interface changes introduced in https://github.com/vitruv-tools/Vitruv-Change/pull/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;