python2-zibopt: add gmp to link libraries