isTotallyUnimodular function

Test for total unimodularity of a matrix.