prosEO Processor Manager – functionality to create and manage processors and processor configurations