Build tools

A collection of scripts I find useful when working with the Cryptech git repositories. YMMV. No warantee expressed or implied. If one of these scripts breaks, you get to keep both pieces.