Update Tools.php

Facilitates caching modules and pages