refactored lazy bitblaster in terms of template code
removed old eager bitblasting that used the main SAT solver
replaced --bitblast-eager by --new-bitblast-eager and refactored EagerBitblaster in terms of new templates
refactored AigBitblaster to bitblast directly to aig; removed old files