If we have gmake, use GNUmakefile and do not overwrite Makefile.
Closes #805. This also adds a missing @SET_MAKE@ that was likely
intended to be included in every makefile since we've been using
AC_PROG_MAKE_SET for long.