Compressing facts and violations with gzip (Fix #72, #78)