Support for bv2nat/int2bv in parser and BV rewriter.
Support a personal build configuration and make rules.