can I drop the glpk check?

[ng0]

Hi,

a while back Christian removed what looks like the only
user of glpk.
When you search for glpk, you find no traces in src.

Is it likely that we'll add back glpk using code at
some point, or can I drop the configure check for it?