initial commit of aiger 1.9.4