don't install readline libraries (part of #1744)

Also some glpk cleanups.