Create SolveLinearOcpExp.hs

Uses LinearOcpExp.hs to generate feasible ocp and run the ipopt solver of Dynobud on them.
go :: Does 500 tests and prints the infeasible one in a document text.
gogo :: Stops at first encountered infeasible problem (with a limit at 1000 problems).