Changes to hoopl(3)

Changes to hoopl:
commit 0f2344130af9c56d8fd5d6d3651644f1b341e79b
Author: Herbert Valerio Riedel <hvr@gnu.org>
Date:   Fri Oct 25 08:58:47 2013 +0200

    Add Travis-CI `.travis.yml` script

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

commit 072f6897ece37aa6f27f4a72a7da15e3fba10077
Author: Herbert Valerio Riedel <hvr@gnu.org>
Date:   Fri Oct 25 08:51:47 2013 +0200

    Update `hoopl.cabal` to `cabal-version>=1.10`

    ...also renames `CHANGES` to `changelog` so Hackage can display it, and
    adds an entry for 3.9.0.0

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

commit ade2e978737f787e7e5542477db483d1a9a7c6cf
Author: Herbert Valerio Riedel <hvr@gnu.org>
Date:   Fri Oct 25 08:53:23 2013 +0200

    Update `LANGUAGE` pragma lists

    `CPP` was missing from many `LANGUAGE` declarations, and a few
    extensions become redundant with Haskell2010.

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