Update SAT object

  - Add more functionality to varDict in SAT.py; varDict now has two types of keys: int and str. int keys look up file-defined variable names (for printing) and str keys look up the variables defined by the program.
  - Remove the call to addMissingVarsToDict() from getFromFile() constructor until an efficient method can be determined.