Fix some Win32 and SMT-LIB compliance bugs discovered by David Cok.
Merge branch '1.3.x'
Fix for (get-assignment), resolves bug 553.
Minor cleanup.

* Reenable parts of bvsimple test
* Fix typo in #endif comment
Fix for portfolio.
Fix for random-seed option.
Fix for rewriterules build breakage.
Merge branch '1.3.x'
Draft contrib/get-abc script for bitvectors libabc support.
Some standardization of regression Makefiles that got out of sync.  Fixes cases of nonterminating rewrite-rules regressions.
Fix LogicInfo unit test.
Minor fixes post-merge of RR.