Profile module: add iterator for event instants

Compiles, not tested