configure: rename --with-gmp_include and --with-gmp_library to --with-gmp-include and --with-gmp-library
configure: rename --with-gmp_include and --with-gmp_library to --with-gmp-include and --with-gmp-library

periscop/cloog,UBERTC/cloog,heysion/cloog-clone,Distrotech/cloog,SaberMod/cloog-current,heysion/cloog-clone,UBERTC/cloog,Distrotech/cloog,cfx-next/toolchain_cloog-upstream,cfx-next/toolchain_cloog-upstream,epowers/cloog,cfx-next/toolchain_cloog-upstream,SaberMod/cloog-current,VanirLLVM/toolchain_cloog,Syllo/cloog,VanirLLVM/toolchain_cloog,periscop/cloog,Distrotech/cloog,evaautomation/cloog,UBERTC/cloog,evaautomation/cloog,Syllo/cloog,epowers/cloog,epowers/cloog,VanirLLVM/toolchain_cloog,heysion/cloog-clone