First half tutorial on extraction.

Tested commands for this 1st half.
Merge pull request #6 from ucam-smt/ruleXtractTutorialCleanup

First half tutorial on extraction.