Add example data

  - Create 'data' directory to hold data to run SAT solver.
   - Add 'ex0.cnf' data file in CNF to run SAT solver.