MESOS: scheduler: handle terminal tasks killed by the master
Checkout https://github.com/kubernetes/contrib for anything that is missing here!