Fix incorrectly named configure options

Although we should use AC_ARG_ENABLE for boolean flags, it also means options get named --enable-*, not --with-*. Undoing that change so as to unbreak the --with-intree-gmp option.