Comment out trying to get and use Haskell verifier hmm
Comment out trying to get and use Haskell verifier hmm

  hmm depends on parsec-3.1.11, which depends on mtl-2.2.1
  which failed to install.  For the moment, comment out.

david-a-wheeler/metamath-test,david-a-wheeler/metamath-test,david-a-wheeler/metamath-test