Fixed proof generation.

Farkas coefficients are now written as Ints if integers are present and Reals otherwise.