dev-cmd/typecheck: Update the Sorbet TODO file in `--update-definitions`
dev-cmd/typecheck: Update the Sorbet TODO file in `--update-definitions`

- [Sorbet's TODO file](https://sorbet.org/docs/rbi#the-todo-rbi-file) is
  useful to be periodically regenerated when we're trying to deal with
  typing errors. The result is an updated `sorbet/rbi/todo.rbi` file that
  defines missing constants. During GSoC, we [did update this file on
  occasional Tapioca updates](https://github.com/Homebrew/brew/blame/master/Library/Homebrew/sorbet/rbi/todo.rbi),
  according to the history. That suggests to me that it should be part of
  this command.

sjackman/homebrew,MikeMcQuaid/brew,mahori/brew,nandub/brew,konqui/brew,JCount/brew,sjackman/homebrew,MikeMcQuaid/brew,nandub/brew,mahori/brew,reitermarkus/brew,Homebrew/brew,konqui/brew,claui/brew,sjackman/homebrew,EricFromCanada/brew,reitermarkus/brew,Homebrew/brew,mahori/brew,reitermarkus/brew,JCount/brew,reitermarkus/brew,EricFromCanada/brew,sjackman/homebrew,nandub/brew,EricFromCanada/brew,JCount/brew,vitorgalvao/brew,nandub/brew,MikeMcQuaid/brew,vitorgalvao/brew,EricFromCanada/brew,Homebrew/brew,JCount/brew,MikeMcQuaid/brew,Homebrew/brew,claui/brew,claui/brew,claui/brew,konqui/brew,konqui/brew,vitorgalvao/brew,mahori/brew,vitorgalvao/brew