update icfp15 benchmarks to ghc 710
update icfp15 benchmarks to ghc 710

mightymoose/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,spinda/liquidhaskell,abakst/liquidhaskell,mightymoose/liquidhaskell,spinda/liquidhaskell,abakst/liquidhaskell,mightymoose/liquidhaskell,mightymoose/liquidhaskell,spinda/liquidhaskell,spinda/liquidhaskell,abakst/liquidhaskell,spinda/liquidhaskell,spinda/liquidhaskell,mightymoose/liquidhaskell,mightymoose/liquidhaskell