Gentoo pushed a package move update renaming prompt_toolkit to
prompt-toolkit, which apparently has the side effect of breaking
other repositories with packages that have the same name.
So we need to perform the same rename and update reverse dependencies
accordingly.