Usage:
<prune a b
finds a minimal presentation b for coker a.
Parameters:
a = matrix
Output values:
b = minimal matrix with the same cokernel
The script prune_and_map gives in addition
the map from the minimal presentation inducing
the identity on coker a.