rm decision/relevancy
Merge branch 'master' of ssh://github.com/CVC4/CVC4
Add simplification option --fo-prop-quant.  Add model support for new model-checking procedure.  Add run script for casc24-fnt.