Earlier commit was nonsense!
Merge branch 'master' of /home/nick/prog/fourier-motzkin into v2

Conflicts:
	src/QuickSpec/Pruning/FourierMotzkin.hs
Improve things a wee bit.