1. remove the dependency on mk to run the tests; 2. make Ast an instance of Eq such that we can compare the transformed results against the expected results in Haskell; 3. add a module to convert IR back to Ast to make the above comparison possible.4. remove Norman from the maintainer field, and add Andreas and Ning as the maintainers; 5. Add #if CABAL macro to several hoop files to conditionally include the macro generated by Cabal such that we can build hoopl and all the tests in ghci