Add runMe.py
  - Add a Python script to find all solutions from a defined SAT problem (given by a file).
Update runMe.py
  - Change runMe.py so that it asks for a path to a CNF file to define a SAT problem.