add stog 0.12.0
fix stog compilaton
fix stog compilaton
add stog-writing 0.12.0
relax dependency of stog-rdf
Add ocamlmod 0.0.7
Add tptp 0.3.0
Sync latest compiler pull requests
Merge pull request #2093 from jpdeplaix/master

Add ocamlmod 0.0.7
Merge pull request #2094 from radekm/tptp-0.3.0

Add tptp 0.3.0
Merge pull request #2095 from bactrian/sync-prs-1400367601

Sync OCaml compiler PRs
fix descr for stog-writing
+tgls.0.8.0
gtk-light works with react > 1.0.0
Sync latest compiler pull requests
Merge pull request #2100 from bactrian/sync-prs-1400454001

Sync OCaml compiler PRs
Merge pull request #2098 from hcarty/patch-1

gtk-light works with react > 1.0.0
Merge pull request #2096 from rgrinberg/master

ranger initial version 0.0.1
Merge pull request #2089 from zoggy/master

add stog 0.12.0 and stog-writing 0.12.0
Merge pull request #2097 from dbuenzli/tgls-0.8.0

+tgls.0.8.0