Move installation code to infra

Depends on https://github.com/ChangeOrientedProgrammingEnvironment/recorderInfra/pull/6