bump infra

depends on https://github.com/ChangeOrientedProgrammingEnvironment/recorderInfra/pull/8