task.h: removed unused inlcude
worker: Moved promote_leader into the header and made it inline