Remove DEBUG option and amend CONFIGURE_ARGS according to WITH_DEBUG.
Users often got confused as to why installed binaries are stripped when
they've selected DEBUG option, which should not have been an option in
the first place, but a user-facing variable. Now sanity is restored.