Merge pull request #1559 from mirage/combined-fixed-with-fixed-travis

Combined pull request with fixed Travis
leveldb.1.0.2: also link against libsnappy.
Merge branch 'master' of git://github.com/iguer/opam-repository into more-combined-fixes
Merge branch 'why3.0.82' of git://github.com/bobot/opam-repository into more-combined-fixes
Merge branch 'master' of git://github.com/jpdeplaix/opam-repository into more-combined-fixes
Merge branch 'aws' of git://github.com/hhugo/opam-repository into more-combined-fixes
obigstore.0.9.1: disable parallel build so as to get more clear CI logs.
Merge pull request #1560 from mirage/more-combined-fixes

More combined fixes
Merge branch 'camlzip' of git://github.com/hhugo/opam-repository into final-changes
Merge branch 'master' of git://github.com/acieroid/opam-repository into final-changes
obigstore.0.9.1: depends on cryptokit.
Merge pull request #1561 from mirage/final-changes

Final changes to flush Travis backlog
Revert "obigstore.0.9.1: disable parallel build so as to get more clear CI logs."

This reverts commit ec3f229fab90b5ae794ca1663a67e233712718ee.
Merge pull request #1541 from mfp/master

New OPAM packages: ocaml-leveldb.1.0.0 and obigstore.0.9.0
omd.0.9.3
add joolog

install
add odate

odate
Merge pull request #1562 from pw374/master

omd.0.9.3
Omake-mode 1.1.1.

Reliably runs on OSX.
Commit files, rather than symlink.