Pass TransformationTracker instead of changeListener to the passes

[konnov]

For instance, this is how PreproPassImpl looks like this:

class PreproPassImpl @Inject()( val options: PassOptions,
                                changeListener: ChangeListener,
                                @Named("AfterPrepro") nextPass: Pass with TlaModuleMixin)
[...]
 val tracker : TransformationTracker = TrackerWithListeners( changeListener )
[...]

Instead of passing ChangeListener, pass TransformationTracker. A concrete implementation of TransformationTracker should be defined by the module that instantiates the pass.

[konnov]

The ModelChecker API has changed quite a bit in ik/multicore, so let's postpone this issue for v0.7.0.