add primary inputs in delta debugger
add 'B I L F'
check symbol names in 'aigtoblif' und 'aigtosmv'
fix problems with just having 'aig' as output file name
add gzip to 'aigtocnf'
add verbose options to 'aigbmc'
replace the AIG library in 'smvtoaig' with SimpAIG.
replace the AIG library in 'bliftoaig' with SimpAIG.