A computer program for verifying linear information-theoretic identities and inequalities