Merge in new protos from Mesos.
Signals should exit 128+signum, not 127+signum.
Fix comment.
Better logging and a bug fix for observer executor.