Add ocaml-leveldb 1.0.0.
Add obigstore 0.9.0.
Add virtual package conf-leveldb.1, make ocaml-leveldb.1.0.0 depend on it.
Replace obigstore.0.9.0 with obigstore.0.9.1.
[Why3] new version 0.82
Replace ocaml-leveldb.1.0.0 with ocaml-leveldb.1.0.1.
ReactiveML version 1.09.02.
Rename ocaml-leveldb package to leveldb.
Replace leveldb.1.0.1 with leveldb.1.0.2.
Converting files containing CRLF line terminators

Patch files with CRLF terminators are not correctly handled by FreeBSD's
patch(1). A package description file also had a CRLF terminator and was also
converted.
openflow: remove lwt as a required dependency
added new package ACPC v1.0
Fix Travis

Closes #1551
Merge branch 'master' of git://github.com/mfp/opam-repository into mfp-master
Add LLVM 3.4
Remove packages alt-ergo versions 0.94, 0.95 and 0.95.1 for which download links are broken.
Add deriving-yojson
Merge pull request #1555 from mandel/master

ReactiveML version 1.09.02.
Travis: fix the installability detection.
leveldb: add missing omake dep and libsnappy deps
Travis: fix install detection.

The previous fix in 301d8f1a9d6d024faf1834585a01bdfea20efa91 didn't
take into account that allpkgs is space separated and not on multiple
lines, so grepping the start of a word wont work.