tools/metrics.py: Don't build mpy-cross if not needed by any ports.
tools/metrics.py: Don't build mpy-cross if not needed by any ports.

To save build time.

pfalcon/micropython,pfalcon/micropython,pfalcon/micropython,pfalcon/micropython,pfalcon/micropython