This is a placeholder file to ensure that the "tools" directory appears in the
git repo.