Extended inclusive-or to handle repetition.

The inclusive-or algorithm has now been extended to handle repetition. This means you can write assertions whereby the left and/or right hand sides of the inclusive-or can contain __tesla_repeat:

e.g.

WITHIN(context, ATLEAST(0,called(foo)) || ATLEAST(0,called(bar)))