Concrete arrival sequence

Added definitions and facts about the concrete arrival sequence, used in Poet to generate assumption-less certificates

model/task/arrival/curves.v

 Require Export prosa.util.rel.
 Require Export prosa.model.task.arrivals.
-Require Export mathcomp.zify.zify.
 
 (** * The Arbitrary Arrival Curves Model *)