makefile for extraction to Haskell
remove file generated by extraction