Create LinearOcpExp.hs

Creates a feasible ocp with linear dynamics and bounds on state and on control.
It's used by SolveLinearOcpExp.hs