Compute EdgeLabelIntervalManager filenames from max_len and move its init accordingly.
Add stub for extend_arc_labels.