Add exact solving to cglpk

This is controlled by the exact=True parameter. However, this requires
an additional dependency on libgmp (which can also be statically
linked).