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

Installation move to infra
Merge branch 'master' of github.com:ChangeOrientedProgrammingEnvironment/eclipseRecorder into priorityConfig