rat2int takes a polytope file with rational coefficients,
and outputs an equivalent one with integer coefficients.