Merge branch 'topic/graceful-term' into 'master'

run.py

src/engine.py

src/scheduling/api.py

src/scheduling/programme.py

src/scheduling/scheduler.py