tools
=====

The ``tools`` directory contains various helper scripts.