Moved BDD code to separate file properly
Updated auxilliary scripts for running various checker tools
Fixed bug in BDDMisc with static variable declaration
Renamed BDDMisc.cc to BDDMisc.cpp for consistency
Added AliasPrinter tool to repository; it's not finished though