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

Faster compilation of Coq with the use of -j jobs option