Added user cut example
Test for user cuts for Gurobi