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

Needed by issue #46
Merge pull request #47 from gdetrez/cnf-option

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