minor: made core/aiger.o included in the tree