Each driver who leads a lap during the race is awarded 5 bonus points. A driver can earn
the 5 bonus points once. No difference whether a guy leads 1 lap or 30, he still gets 5 bonus points.
The driver that leads the most laps is awarded an additional 5 bonus points.