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