revision 3 of the temporal formulas
plus a simulation to determine how well they do
Merge branch 'master' of github.com:opencog/opencog
Merge pull request #400 from keyvan-m-sadeghi/master

Interval Algebra, new formulas, revision 3