Add original arc variables to path formulation

Add arc variables and constraints linking arcs to lambdas.
In pricing and in model construction, add lambdas
to the corresponding arc constraints.

In B&B, use SCIP default branching rules: lambda variables are
now considered continuous, so this should be ok.
However, branching still loops: still something wrong.