Making aiger a class
Aiger circuit have now their own class, can be read from aag files and converted to monitors. Moreover new translation methods to convert a strategy into an aig are available.
- spot/twaalgos/aiger.hh, spot/twaalgos/aiger.cc: Here
- spot/misc/hash.hh: Add pair_hash specialization
- bin/ltlsynt.cc: Doc for new options
- tests/core/ltlsynt.test: Adjust and add tests