Update test suite list
Update test suite list

unfortunately, more tests fail, because with the fall-through code,
missing information on the refutability of patterns is a bigger problem.

antalsz/hs-to-coq,antalsz/hs-to-coq