vastly reduce the number of osx tests to reduce the worker backlog
Addition of portia, a literate programming tool.

Portia is a programmable text processor that allow to extract fragments from a
set of files and recompose some output files from them. It is meant to serve as
a literate programming preprocessor, agnostic to both the format used for the
documentation and the programming language, and thus is adapted to OCaml.

It is itself implemented using literate programming and needs funnelweb
(http://www.ross.net/funnelweb/) for bootstrap.
core 112.01.01
added OCamltter 3.0.0
commit to enforce re-Travis
fixed dependency
core 112.01.00 does not builde on i686
+ ocaml-milter 1.0.1
Add external dependancies on funnelweb and asciidoc.

Note: asciidoc is actually merely needed for building the doc, but who
wouldn't want to do that at least one to test a literate programming tool?
added OCamltter 3.0.0
fixed dependency
Merge branch 'for-pull-request' of https://github.com/camlspotter/opam-repository into for-pull-request
lablgtk-2.18.3
Restrict no-crypto to 4.01
Merge pull request #2960 from garrigue/master

lablgtk-2.18.3
Merge pull request #2956 from janestreet/core_kernel-112.01.00-no-i686

core 112.01.00 does not builde on i686
milter-1.0.1: fix checksum
Merge pull request #2945 from camlspotter/for-pull-request

added OCamltter 3.0.0
Merge pull request #2927 from janestreet/core-112.01.01

core 112.01.01
Merge pull request #2948 from zoggy/master

add ojs-base 0.2.0 and stog 0.14.0