tools

Various scripts and useful utilities. Some written from scratch, others found and modified to suit my needs.