Increase defaultMaxBackjumps to 2000 (from 200).

As suggested by Anders Löh in #1780.
Revert "Enable '--reorder-goals' by default."

This reverts commit 75f8651d44a92e9da855e0386dc7278b499cb3d8.

See discussion in #1780.
Update bootstrap.sh.
Platform dependent search path separator

When using cabal exec on Windows, it would give an error such as:

ghc.exe: can't find a package database at
C:\Users\tchakkazulu\path\to\dir\.cabal-sandbox\i386-windows-ghc-7.6.3-packages.conf.d:C:\Program
Files (x86)\Haskell Platform\2013.2.0.0\lib\package.conf.d
Merge pull request #1804 from tchakkazulu/master

Platform dependent search path separator
Add missing space in topdown solver output
Print solver parameters on -v3.

Before the solver is invoked, the parameters will be printed
if high verbosity has been selected.

This includes constraints and preferences.
Remove dead pretty-printing code that is duplicated anyway.
Remove empty line in output
Remove dead pretty-printing code