chg: check if NTL_GMP_LIP=on was given to NTL's configure
Merge pull request #333 from mmklee/NTLcheck

chg: check if NTL_GMP_LIP=on was given to NTL's configure