A new version of formulas
that works with convolve but is consistent with what Ben wanted
Merge branch 'master' of github.com:opencog/opencog
fixed a bunch of 'new-line-at-the-end-of-file's
Merge pull request #397 from keyvan-m-sadeghi/master

Interval Algebra, new formulas, revision 2