Make --with-nethack a non-default option.
Use deprecated AC_HAVE_LIBRARY to find mingw opengl32 library
because AC_HAVE_LIB fails -- we need a prototype for even
zero-argument functions like glEnd.