Use the length of arcs in the reachability graph computation

[saucisson]

The length of the arcs should be taken into account, because players are using this information when defining their strategy.
Thus, computing the states using the length of the arcs should allow us to select the correct transitions for scoring.