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. Can be merged. FYI, @keyvan-m-sadeghi, @cosmoharrigan.