new file:   intervaltree.py
- new IntervalTree class, see comments for details