Try to detect NTL more reliably

Ok, this patch does what we discussed today: it will refuse to compile when --without-ntl is given, and whether --with-ntl is given or not, it will try to check the correctness of the flags.

It doesn't do a very thorough check, but I can add more if you think it's worth it.