Revert "sat --favor-internal=(factor as double)"

This reverts commit e73320020be4138561addd37e6e3368f385df8a3.
Revert "decision::atom"

This reverts commit f8fe0aca1b516fdbb9094bfcf179119f416bc666.
rm decision/relevancy
Fixing the failure for make distcheck.
Fixes to FCSimplex for some versions of compilers
Merge pull request #9 from kbansal/master

 Merge experimental decisionweight branch
Merge remote-tracking branch 'origin/master' into decisionweight2