rat2canon takes a polytope file with rational or integer coefficents, 
and outputs an equivelent one with normalized right hand side.