Solving can fail during model-building!
Merge branch 'master' of /home/nick/prog/fourier-motzkin into v2

Conflicts:
	src/QuickSpec/Pruning/FourierMotzkin.hs
Hook up the new constraint solver (it's misbehaving still).