Increase defaultMaxBackjumps to 2000 (from 200).
Increase defaultMaxBackjumps to 2000 (from 200).

As suggested by Anders Löh in #1780.

(cherry picked from commit e2b481a070aa95454547dad9ff6e505454194487)

kosmikus/cabal,plow-technologies/cabal,ian-ross/cabal,seereason/cabal,x-y-z/cabal,thomie/cabal,plow-technologies/cabal,corngood/cabal,fugyk/cabal,valderman/cabal,ghc-android/cabal,Heather/cabal,garetxe/cabal,gridaphobe/cabal,enolan/cabal,martinvlk/cabal,anton-dessiatov/cabal,bennofs/cabal,triplepointfive/cabal,typelead/epm,triplepointfive/cabal,eric-stanley/cabal,ghc-android/cabal,randen/cabal,Heather/cabal,mightybyte/cabal,gbaz/cabal,plumlife/cabal,thoughtpolice/cabal,kolmodin/cabal,christiaanb/cabal,rimmington/cabal,sopvop/cabal,Helkafen/cabal,corngood/cabal,headprogrammingczar/cabal,fugyk/cabal,themoritz/cabal,kosmikus/cabal,trskop/cabal,kolmodin/cabal,trskop/cabal,headprogrammingczar/cabal,edsko/cabal,randen/cabal,thomie/cabal,mightybyte/cabal,rimmington/cabal,Peaker/cabal,eric-stanley/cabal,themoritz/cabal,martinvlk/cabal,bennofs/cabal,seereason/cabal,mydaum/cabal,Helkafen/cabal,sopvop/cabal,beni55/cabal,mmakowski/cabal,lukexi/cabal,valderman/cabal,gridaphobe/cabal,mydaum/cabal,sopvop/cabal,garetxe/cabal,mmakowski/cabal,beni55/cabal,edsko/cabal,Peaker/cabal,anton-dessiatov/cabal,plumlife/cabal,thoughtpolice/cabal,christiaanb/cabal,enolan/cabal,ian-ross/cabal,themoritz/cabal,lukexi/cabal,gbaz/cabal,typelead/epm,x-y-z/cabal