Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for liveness properties).
