update installer constructor
bump up infra
Merge pull request #130 from cdmihai/installationMoveToInfra

Installation move to infra
update tests
bump submodule
Merge branch 'master' of github.com:ChangeOrientedProgrammingEnvironment/eclipseRecorder into priorityConfig
Merge pull request #131 from cdmihai/priorityConfig

Priority config