Added Gurobi Parameters menu item, added...

Reset to Defaults button