Doc Rivers to become 76ers head coach