Functional calculus for cadlag paths and applications to model-free finance