tools

tools

Some tools I wrote over the years and that don't deserve a repository of their own