why3: migrate to tex

Closes Homebrew/homebrew#48780.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>

Library/Homebrew/tap_migrations.rb

@@ -225,6 +225,7 @@ TAP_MIGRATIONS = {
   "vobcopy" => "homebrew/boneyard",
   "wdfs" => "homebrew/fuse",
   "whereami" => "homebrew/boneyard",
+  "why3" => "homebrew/tex",
   "wkhtmltopdf" => "homebrew/boneyard",
   "wmctrl" => "homebrew/x11",
   "wopr" => "homebrew/science",