Jenkins: Port prepareSystemTests script to Git
(cherry picked from commit 2cffe53612efb63b9595da9b4ce61b8d6ff74825)
CI: No longer publish documentation PDF to Github

Since 'Github downloads' is no longer supported, this is rather useless.
(cherry picked from commit 6f22afd7faaea0e4e9b689dc131d9e5dd2c62efb)
CI: Disable Bitbucker <-> Github repository sync

Everything is moved to Github, so no sync is required any longer.
(cherry picked from commit 1b8016c7a624253133c7306eb084dc0eadd4606c)
Rework version retrieval code from Hg to Git-compatible

This is partially based on the changes contained in
e2e8d007c743020a32314ca1a4487382f0556618

Conflicts:
	myocamlbuild.ml
Add pattern matching 'git describe' output on Jenkins slaves
(cherry picked from commit bc9446d91ea6ba98e3d52105b7de567310917740)
OTC: Manually port toolslive/camltc@7cb58b75bf99bd95cea1766262a8bbc320ca8104

Original commit:

    commit 7cb58b75bf99bd95cea1766262a8bbc320ca8104
    Author: Jan Doms <jan@jan>
    Date:   Tue Mar 19 12:48:40 2013 +0100

    ARAKOON-368: rev_range_entries returns incorrect result if parameter
    'first' does not exist as key in the database
OTC: Manually port toolslive/camltc@f017df6f5917041b01b32c3c27a4c943949970d7

Original commit:

    commit f017df6f5917041b01b32c3c27a4c943949970d7
    Author: Jan Doms <jan@jan>
    Date:   Wed Mar 20 15:12:15 2013 +0100

    processed feedback
OTC: Manually port toolslive/camltc@047b41c5971e01a5a814c155f1083b1ce1f9a3e0

Original commit:

    commit 047b41c5971e01a5a814c155f1083b1ce1f9a3e0
    Author: romain <romain@romain-laptop.(none)>
    Date:   Thu Mar 21 16:16:02 2013 +0100

    extra test case for rev_range_entries (this one used to fail)
system test for ARAKOON-368
(cherry picked from commit 8898aaee802941ac88f31e4b9e1ea0aabc91b7bd)
Merge pull request #24 from Incubaid/ARAKOON-368-for-1.4

Arakoon 368 for 1.4
Merge remote-tracking branch 'origin/1.4' into 1.5

* origin/1.4:
  system test for ARAKOON-368 (cherry picked from commit 8898aaee802941ac88f31e4b9e1ea0aabc91b7bd)
  OTC: Manually port toolslive/camltc@047b41c5971e01a5a814c155f1083b1ce1f9a3e0
  OTC: Manually port toolslive/camltc@f017df6f5917041b01b32c3c27a4c943949970d7
  OTC: Manually port toolslive/camltc@7cb58b75bf99bd95cea1766262a8bbc320ca8104
  Add pattern matching 'git describe' output on Jenkins slaves (cherry picked from commit bc9446d91ea6ba98e3d52105b7de567310917740)
  Rework version retrieval code from Hg to Git-compatible
  CI: Disable Bitbucker <-> Github repository sync
  CI: No longer publish documentation PDF to Github
  Jenkins: Port prepareSystemTests script to Git (cherry picked from commit 2cffe53612efb63b9595da9b4ce61b8d6ff74825)

Conflicts:
	jenkins/prepareSystemTests.py
	myocamlbuild.ml
	src/otc/Hotc.ml
	src/otc/hotc_test.ml