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
add stog 0.14.0
Merge branch 'master' of https://github.com/OCamlPro/opam-repository
core 112.01.00 does not builde on i686
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?
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
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
Merge pull request #2943 from rixed/master

Addition of portia, a literate programming tool.
Merge pull request #2962 from samoht/nocrypto

Restrict no-crypto to 4.01
added ppx_pattern_guard.1.0.0
Merge branch 'for-pull-request' of https://github.com/camlspotter/opam-repository into for-pull-request
Merge remote-tracking branch 'origin/master' into for-pull-request