Edges for negations and equivalences replaced with generic formula edge

[greenTara]

From http://wiki.ruleml.org/index.php/Edges_for_negations_and_equivalences_replaced_with_generic_formula_edge

• Rename (only) the two negation edges to ruleml:formula
• Create a new module for all alternate names from Version 1.01 (for backward compatibility).
• Modify the standard examples to use the new edge name.
• Test against Version 1.01 examples also (with the old element name).
• Normalizer - When adding stripes, use the ruleml:formula name.

Dependent on Issue: Normalized Serialization When Names Are Deprecated