Feature/headway regularity

This push constitutes a correction of my misunderstanding the PDF for the on-time-performance indicator's high-frequency sibling