Add simple public-key encryption program `catcrypt'.