Half-finished DifferentialFVA
lmoma fix (mainly in optlang ff6e0b27922b8e789b16a499182a623b84d92371)

updatead optlang SHA