Removed shell variables.  Now uses isatool getenv -b SPASS_HOME.
Removed shell variables.  Now uses isatool getenv -b SPASS_HOME.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle