Implement the Two Phase method and update the initial screen to allow the user to choose between Big M and Two Phase. The parser also needs to be updated to outputs two phase base variables