Add AIGER Parser