Updated tstool.cabal and sources to compile with current GHC