Added selected SAT competition files from 2009 and tests
Added cnf2aig tool