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
ocsigenserver: rm broken 2.3.0, fix #1770
Updated GSL-OCaml
Updated Lacaml
Merge pull request #2034 from hhugo/ocsigenserver-clean

ocsigenserver: rm broken 2.3.0, fix #1770
Merge pull request #2036 from mmottl/master

Updated gsl-ocaml and lacaml
ocplib-endian: add camlp4
estring: depend on camlp4
Merge pull request #2037 from avsm/camlp4-ocplib

ocplib-endian: add camlp4
bolt: add camlp4 dep
Merge pull request #2038 from avsm/camlp4-estring

estring: depend on camlp4
Cudf 0.7: install the bytecode libraries too
Merge pull request #2040 from AltGr/cudf-byte

Cudf 0.7: install the bytecode libraries too
ocamlnet: add explicit camlp4 dependency
Merge pull request #2039 from avsm/camlp4-bolt

bolt: add camlp4 dep
0install: add depext on unzip package
Merge pull request #2041 from avsm/camlp4-ocamlnet

ocamlnet: add explicit camlp4 dependency
Merge pull request #2030 from talex5/coqide

Fix coqide configure to accept make version 4
Merge pull request #2042 from avsm/0install-depext

0install: add depext on unzip package
Add a missing dependency on camlp4 for type_conv.109.12.00