Installation move to infra

Propagate refactorings.

This depends on pull request: https://github.com/ChangeOrientedProgrammingEnvironment/recorderInfra/pull/7