mention explicitly on which version of the GLPK header file glpk.pxd is based; include this version of the header file in the repository for upgrading purposes (later diff with new version)