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
add ojs-base 0.2.0
added OCamltter 3.0.0
add stog 0.14.0
commit to enforce re-Travis
Merge branch 'master' of https://github.com/OCamlPro/opam-repository
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
Merge branch 'master' of https://github.com/OCamlPro/opam-repository
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