Subsequent pull requent concerning Allen's Interval Algebra

Same commits as in https://github.com/opencog/opencog/pull/909 without name change. Branched after updating master. Previous merges can be safely ignored.