feat(scripts): add a script to update port comments (#17600)
Also updates all existing port comments
Currently this relies on an unreleased mathlibtools, which can be installed with `pip install git+https://github.com/leanprover-community/mathlib-tools`
