small utilities for manipulating .crispr files