Automatically re-generate Makefile when Makefile.in changed

This avoids having an out-of-date copy of the Makefile when it source, Makefile.in, changed.

The implementation here only works with GNU Make, but it should not have undesirable effects with other Make implementations (if we ever support them, as it doesn't seem to be the case yet because of *testing.mak*).