(from #30408)

We add the command sage -tox -e pyright for static type checking.

pyright is implemented in javascript.
We install it via the unofficial pip-installable package https://pypi.org/project/pyright/

References:

• ​https://pypi.org/project/nodeenv/
• https://opendev.org/zuul/zuul/src/commit/fadd15a0015b9ae4cc5c4c375476aa4d2242f9d8/tox.ini
• https://opendev.org/zuul/zuul/src/branch/master/tools/pip.sh
• https://github.com/seek-oss/aec/blob/390f9c2e78407218fac0d79e350e83ea066f24cc/Makefile#L19-L21

CC: @tobiasdiez @fchapoton

Component: doctest framework

Author: Matthias Koeppe

Branch/Commit: a2e56de

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/30411