add scip-3.0.1-cons-and.patch to fix a bug of SCIP-3.0.1

The bug produces incorrect result for rand717_l2.wcnf instance of Max-SAT Evaluation 2013.
The fix is made by Michael Winkler. (Thanks!!!)