Outline for ruleXtract tutorial.
Merge pull request #1 from ucam-smt/ruleXtractOutline

Outline for ruleXtract