[new] Omit tools.py from coverage