Feature: penalties for extraneous punches

[sdenier]

Orient'show: punches on control which are not part of the course should be penalized to discriminate against "random punchers". However, punching a control from your course in wrong order should not be penalized (avoid the double penalty if runner fix his mistake by re-running in order).

To distinguish, added punches not part of course controls are also called extraneous punches. A custom time penalty is also applied according to the number of extraneous punches (like number of MPs)

Edge case: substitution. Taking an extra control for another counts only as a MP. See aef1c4b for details

[sdenier]

• [x] Do we really want to count a subst punch as an extraneous punch? Answer no, cf aef1c4b