dev(lp): create a dual feasible x_star in the stage 1 of the dual method

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>