The number of jobs for Coq can be set
Bug fix
lwt 2.4.6
OCaml version specified
-j jobs option added to Coq IDE
Older packages updated against OCaml 4.02.0
Merge pull request #2846 from zoggy/master

add stog-writing 0.13.0 and xmldiff 0.4.0
add camlp4 4.02.0+2 and camlp4 4.02.1
typo
Add 4.02.1 compiler switches
update checksum
Merge pull request #2862 from avsm/comp-4.02.1

Add 4.02.1 compiler switches
Merge pull request #2861 from diml/camlp4-4.02.1

add camlp4 4.02.0+2 and camlp4 4.02.1
+ocaml.4.02.1+32bit
Update Travis config to use OCaml 4.02.1
Merge pull request #2868 from yallop/travis-ocaml-4.02.1

Update Travis config to use OCaml 4.02.1
+camlp4.4.02.1+system
Sync latest compiler pull requests
Improve the llvm package
Add Darwin support to 4.02.1+32bit.