Extract known projects

The part that knows about which projects were snapshot has been extracted into a separate class. This class is now part of the infra, for easier reuse.

*** This depends of https://github.com/ChangeOrientedProgrammingEnvironment/recorderInfra/pull/10 ***