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.