Fix a problem with [Integer] in the GADT backend

Pretty print instances for list of Integer (and double) where generated
twice.
This should also fix one of the automated test
Remove deprecated normFun and normRuleFun furnctions
Refactor the type Cat to be stronger

I have found a few errors already that are due to insuficient analysis
of the category. This will hopefully avoid some of those errors.
Add OCaml in the system tests
Fix bug in generated PrinterLANG.hs (GADT backend)

Fixes the system test, close #34
Add missing token for `Chars` (`'c'`) in the OCaml lexer

Fixes the last test grammar!
Fix encoding of CF.hs and some code improvement
Remove deprecated status for `symbols` and `reservedWords`

There seems to be some place where the distinction is legitimate (like
the latex doc).
Merge pull request #105 from gdetrez/master

Fixes bugs