copy of aiger toolset from http://fmv.jku.at/aiger/ + some fixes