interval-algebra-2.2.0: An implementation of Allen's interval algebra for temporal logic