Modifications of the location of some classes.

- Moved the CNF classes in their own package
- Move the AEDF (personnal format) parser within its own implementation
package.