bug fixing:
 + stretch duration is now correct when it ends after midnight
 + added context variable to supervisor GUI so that pressing Rosters button when
 already on that panel has no effect