Update hoopl.cabal and convert changelog to MD

This is in preparation for the hoopl-3.10.0.0 and ghc-7.8.1 release

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