Make the cabal cmd used by the .jenkins script configurable.
Remove dependency on test-framework-th