Changes to hoopl

Changes to hoopl:
commit 275f1cf9d8a044406a1492ee3f1655f0ea9a993d
Author: Herbert Valerio Riedel <hvr@gnu.org>
Date:   Mon Apr 7 19:39:06 2014 +0200

    De-UTF8 hoopl.cabal temporarily

    This workarounds an issue in GHC 7.8.1's build-system
    (which has been fixed in GHC HEAD already but requires a newer Cabal lib)

    Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>