Rework how model checking and mmap get enabled/disabled

Simplify test: model checking relies on linux-only syscalls such as signalfd,
mremap, so it won't work on anything else.

But do not set HAVE_MMAP to 0 if MC cannot be built, other parts could use it
Courtesy of M. Volat