add coq support
Push current status of proof backend
Version quasi fonctionnelle de la generation de spec.Encore des problemes de typage
On going work: it does not compile!
Merged trunk updates
Specialized the prefix/postfix modifiers through functors arguments
Split all functions of C backends in separate files
Moved c_backend in separate folder