Add a `--cnf` option to the haskell backend

Needed by issue #46