Merlin v1.7.1 bugfix release

v1.7 vim-mode install script relied on a GNU tool, it didn't work for BSDs users
first trial at packaging it
added git diff output to add the bdd.obuild file
rm files/bdd.obuild since files allowed in there seems to be only git diff outputs
there is one patch to apply
added obuild file
rm packages/bdd/bdd.0.3/files/obuild_file.patch
corrected build command
Add tptp 0.3.1
new package version for why 2.34
patches in earlier versions are not needed anymore
Normalize URIs in the repository.
Update ocaml-version constraints on all merlin
Merge pull request #2483 from radekm/tptp-0.3.1

Add tptp 0.3.1
Merge pull request #2488 from dsheets/uri-norm

Normalize URIs in the repository.
Add merlin 2 prerelease for 4.02
merlin.2 -> merlin.2.0.0
merlin.2.0.0: remove upperbound on ocaml-version
Merge pull request #2484 from def-lkb/master

Merlin v1.7.1 bugfix release
add extra dependency on autoconf
+gg.0.9.0