Merge pull request #50 from greenTara/master

modules for @per = effect and modal, plus bugs and documentation
Merge pull request #52 from greenTara/master

adding generic Operator for formulas
Merge pull request #53 from greenTara/master

one auto-generated instance from updated XSD
corrected the use of @per for reified modal operators
Merge pull request #54 from greenTara/master

Full Modularizatino
Merge pull request #55 from greenTara/master

Testing and Fixing
Merge pull request #56 from greenTara/master

Inherit in Driver and Update Content Model
PR Reaction RuleML 1.0
Made performatives an extensible group
extensible act group for performative_module.xsd
Extended Temporal Test Suite
Added temporal examples
Corrected content model of inner quantifier
PR Reaction RuleML 1.0 content models

changes
- documented PR Reaction RuleML content models
- performative_module.xsd extended with extensible performative_primitives.content
- extended_quantifier_module.xsd corrected guard formula content model ("such that")
- removed inner Quantifier from outer-quantifier.content group
- moved predicate and function primitives to extended-signature-predicate-sorts.content and extended-signature-function-sorts.content
- further corrections
Production RuleML 1.0 example
added FrameDerivationRule.rrml as frame representation example
added TemporalExamples.rrml
corrected atom_module.xsd for frame representation
Corrected temporal examples and tests
added running example from RIF-PRD
running example from RIF-PRD represented in PR Reaction RuleML
Production Rule Reaction RuleML 1.0