configure.in: check for polylib/polylibgmp.h