Use apt-get for GLPK

I have no idea if this works