Add test suite for fixpoints
Add VernacFixpoint support
Cosmetic
Add VernacCoFixpoint support
Notation: allow extra notation flags like (format "bla" "foo").
Print extra formatting rule in xmlOperator
some more gallina AST printed
few more tests
Notation: allow to declare extra formats a posteriori