update 4ti2 version and INSTALL instructions

The latest 4ti2 version we use is a temporary beta testing one, provided
to make it compatible with the latest version of glpk.  That will save
us the trouble of building glpk on certain systems.