Update Solver class
  - Update updateWatchlist() so it ends faster if a variable/literal isn't given by the file.
  - Update simpleSolveAll() so that it returns a dictionary of solutions as well as a readable string of solutions. Varaible numbers are defined by the input CNF file.
Update Solver class
  - Change simpleSolveAll() to return a list of solution dictionaries with variables defined by the input CNF file.
  - Remove the string representation that was returned (in a tuple) by simpleSolveAll().