Integrate CSI Haskell traces

[Tritlo]

In CSI: Haskell, we get a runtime trace whenever we encounter an error. By integrating these into PropR, we should be able to do a lot better when repairing programs with errors.