Bug fix to #955 (StaticOptimizer should always choose a ZERO cardinality tail first) for the 1.2.5 tag. This commit is against branches/BIGDATA_RELEASE_1_2_4. The 1.2.5 release was made from this branch.  A 1.2.6 release will also be made from this branch.

See #955

git-svn-id: https://svn.code.sf.net/p/bigdata/code/branches/BIGDATA_RELEASE_1_2_4@8388 8f7bc0f5-282e-0410-95e3-8d296e9bb460
Disabled the unbuffered rules.log file by default. This addresses an often reported issue with file system permissions and also a potential bottleneck for truth maintenance on small transactions.

git-svn-id: https://svn.code.sf.net/p/bigdata/code/branches/BIGDATA_RELEASE_1_2_4@8444 8f7bc0f5-282e-0410-95e3-8d296e9bb460