Schedule : add public getters for `history`, `nextRedo`, `nextUndo` and a ctor that takes an optional history list and index