CTAN update: karnaugh-map