Fix coqide configure to accept make version 4

From: http://cvsweb.netbsd.org/bsdweb.cgi/~checkout~/pkgsrc/lang/coq/patches/patch-configure?rev=1.1
Merge pull request #2030 from talex5/coqide

Fix coqide configure to accept make version 4