[gambit-list] [PATCH 5/6] makefile.in: give a warning if $(REMOTE)/master doesn't seem to exist