remove the res dependency of core_kernel, core and core_extended
ReactiveML version 1.09.02.
Add openflow v0.2.0
Add packet v0.2.0
Merge pull request #1544 from seliopou/packet.0.2.0

Add packet v0.2.0
Merge pull request #1540 from janestreet/master

remove the res dependency of core_kernel, core and core_extended
Merge pull request #1543 from seliopou/openflow.0.2.0

Add openflow v0.2.0
Fix Travis

Closes #1551
Merge branch 'master' of git://github.com/mfp/opam-repository into mfp-master
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.
Merge branch 'master' into mfp-master
leveldb.1.0.2: link explicitly against libstdc++ (and -lm for good measure).